On Tue, Jun 27, 2017 at 7:24 PM, Richard Heck <rgh...@lyx.org> wrote:
> > It's come up more than once, so I think it's worth writing down what > we've decided. Obviously, we can revisit the issue any time we like. But > we won't have to re-discuss it every time. This is why I'd like to see the approach written down as well.
