|
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.
[Prev in Thread] | Current Thread | [Next in Thread] |