[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[patch #8638] Remove non-ASCII Characters-in Comments

From: Peter Simons
Subject: [patch #8638] Remove non-ASCII Characters-in Comments
Date: Tue, 21 Apr 2015 19:45:59 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:37.0) Gecko/20100101 Firefox/37.0

Update of patch #8638 (project autoconf-archive):

                  Status:                    None => Done                   
             Assigned to:                    None => simons                 
             Open/Closed:                    Open => Closed                 


Follow-up Comment #1:

Thank you very much for catching this! I applied your patch, and I also
switched the continuous builds at
and to python3 to ensure
that such an issue is detected immediately in the future.


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]