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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
