On Tue, Jun 23, 2015 at 08:36:01PM +0200, Silvan Jegen wrote: > This is a quick and dirty fix for the issues encountered with undoing > the filter command. There are still other issues to tackle though...
Thanks, applied. Could you elaborate on the remaining issues to tackle? -- Marc André Tanner >< http://www.brain-dump.org/ >< GPG key: CF7D56C0
