|
| From: | Paul Eggert |
| Subject: | Re: bug#16337: [PATCH] doc: fix encoding error with UTF-8 characters |
| Date: | Sat, 04 Jan 2014 08:58:05 -0800 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0 |
Stefano Lattarini wrote:
please push (to the 'micro' branch) and close this bug report once you're done
Thanks, done.
| [Prev in Thread] | Current Thread | [Next in Thread] |