Re: permission to revert a hack?

[Guenter Milde]

On 2015-08-14, Enrico Forestieri wrote:

> Please, go on with whatever solution is deemed to be better.

Done. 
http://www.lyx.org/trac/changeset/0bbc80fa83847668b58c5f6c17331a0c02058e68/lyxgit

Thanks,

Günter