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

[Michael Albinus]

Noam Postavsky <npostavs@gmail.com> writes:

> 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).

One of the patches is in Tramp. I'm in favor of Noam's change.

Best regards, Michael.