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.

Reply via email to