On Fri, Mar 29, 2013 at 7:03 AM, Vincent van Ravesteijn <v...@lyx.org> wrote: > I have no opinion, and whatever we choose, it does not influence the > correctness of the patch. > > Vincent
OK, I reverted the commit. Thanks for catching my mistake. Scott