On Fri, 2017-09-08 at 19:31 +0200, Johan Vromans wrote: > On Fri, 08 Sep 2017 17:58:33 +0100, Richard Shann <rich...@rshann.plus.com> > wrote: > > > Let me know - I have it sitting here right now. > > Hardest part is to get the fix here :)
It's in git now, thanks! Richard _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
