Le 25/08/2020 à 11:06, Stephan Witt a écrit :
Next patch is the real change for #6401. I’d like to apply it soon. Any objections or possible improvements?
It is difficult to understand what it does by reading it, and your commit log does not help much!
JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
