> Thanks, looks good, one remaining nitpick, the "tools" menu doesn't get a > separator before the plugins... entry if there are other items listed
Thanks. Fixed in r222
« Back to merge proposal
> Thanks, looks good, one remaining nitpick, the "tools" menu doesn't get a
> separator before the plugins... entry if there are other items listed
Thanks. Fixed in r222