On Sat, 2017-04-29 at 23:15 +0200, Johan Vromans wrote: > On Sat, 29 Apr 2017 20:07:20 +0100, Richard Shann <[email protected]> > wrote: > > > > > > But now the order of the menus in the menu bar is odd. > > > > I believe I have fixed this now. > > Confirmed. > > Migration works, that's to say your Play2 command appeared and was working? This was the bit I didn't test.
Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
