Am Do., 20. Sep. 2018 um 10:45 Uhr schrieb Jürgen Spitzmüller <sp...@lyx.org >:
> Thank you very much for taking this task, Andrew! Much appreciated. The > patch looks good. I do not think that we need to track this uncontroversial > change, though. If it is not too much of additional work, can you just > accept those changes and re-diff? > (otherwise I will do it). > For master, I have just implemented layout format information via info-insets. This updates itself to the current format, so we do not need to bother about this in the future. Jürgen
