On 06 Nov 2015, at 08:34, Jürgen Spitzmüller <sp...@lyx.org> wrote: > Am Donnerstag 05 November 2015, 18:57:52 schrieb Edwin Leuven: >> i agree >> >> may i suggest that you push this change to master? > > I've pushed something similar.
great > Might be something to consider for branch. yes please best, ed.
