On 22/06/2015 06:13 μμ, Paul Wise wrote:
On Mon, Jun 22, 2015 at 11:07 PM, Theodotos Andreou wrote:Do you think we should file a bug?Filing a bug upstream sounds good to me, please mention the issue you faced as a result of the design.
Filed. Let's see... https://savannah.gnu.org/bugs/index.php?45375