On 2014-10-20, at 15:28, Bastien wrote: > Hi Marcin, > > Good idea, I pushed this change. I don't think the second kill-buffer > is necessary, as this buffer is already temporary. Let me know if I'm > wrong. > > Thanks,
Thanks a lot - that was quite annoying for me! Best, -- Marcin Borkowski http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski Adam Mickiewicz University
