On Wed, 30 Mar 2022, Thomas Schwinge wrote: > > I don't think we want to support different help strings for > > different languages; if an option is supported for multiple languages, we > > should have a generic description of that option that is correct for all > > of them. > > To not just bury that in the email archives: OK to push the attached > "options: Clarifications around option definition records' help texts"?
OK. -- Joseph S. Myers jos...@codesourcery.com
