|
| From: | Noam Postavsky |
| Subject: | bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error" |
| Date: | Sat, 22 Jun 2019 21:00:21 -0400 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) |
Paul Eggert <eggert@cs.ucla.edu> writes: > + "Signal a user error (or “pilot error”)." > +This is like `error' except that a user error (or “pilot error”) comes s/[“”]/"/ (I hope this doesn't set off another round of bike-shedding).
| [Prev in Thread] | Current Thread | [Next in Thread] |