Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14707>
On 06/28/2013 10:25 PM, Diab Jerius wrote: > > [SNIP] > > That fixes the problem. > Thanks, will push shortly then. I'm also closing the bug report. Best regards, Stefano
Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14707>
On 06/28/2013 10:25 PM, Diab Jerius wrote: > > [SNIP] > > That fixes the problem. > Thanks, will push shortly then. I'm also closing the bug report. Best regards, Stefano