I thought this was more commonly known

Not by me.

    I'm unsure if it's worth bothering.

As always, I'd rather not occupy rms' time if we can avoid it.
In the absence of any clamor to make this tiny change in the GNU
standards.texi, I'd rather skip it.

Thanks,
karl


Reply via email to