On Thu, 7 Sep 2017 22:23:51 +0200, Johan Vromans <[email protected]> wrote:
> I'm still at 2.1.3 so apologies if this has been fixed already. Nope. It is still in denemo git as of today. -- Johan _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
