bug-gnu-emacs
[Top][All Lists]
Advanced

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

bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "


From: Paul Eggert
Subject: bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error"
Date: Thu, 27 Jun 2019 02:37:20 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.1

Noam Postavsky wrote:
s/[“”]/"/ (I hope this doesn't set off another round of bike-shedding).

OK, thanks, I installed the patches with that further change, and am closing the bug report.





reply via email to

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