On Thu, 7 Sep 2017 22:23:51 +0200, Johan Vromans <jvrom...@squirrel.nl> 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 Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
