On Mon, May 21, 2018 at 5:09 PM, Elijah Newren <new...@gmail.com> wrote: > Robert, since you're working on documentation of sorts anyway, would > you like to propose some patches to fix things here? I'm not entirely > sure what to suggest, and we might need a random suggestion to get the > discussion started before we figure out what we want here, but it'd be > nice to fix this inconsistency.
Make sure to fix Documentation/glossary-content.txt too, Robert, if you plan to improve documentation. -- Duy
