> Testing has been *really* minimal (just the above :) ), so I hope it doesn't > break anything else.
After sending this to Julien (forgetting to CC bug-global) I realised that it should always push back the last token, so I edited that and sent it to bug-global, but with the original patch instead. Sheesh. So, remove the else and outdent pushbacktoken and you should be good to go. -- Jason. _______________________________________________ Bug-global mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-global
