On 05.11.2011 14:28, quandary wrote: > I'm not going to waste another 15 minutes by adding a bug report, > deleting a * should be a 20-seconds no-brainer for somebody with git > write-access. Fixed on master and 2-10 branch. Thanks for reporting. Robert