On 4/17/2012 9:44 AM, Joseph Rushton Wakeling wrote: > Shall I make a new bug report? Is it preferred at BitBucket or GitHub? Please do. We're still using BitBucket at the moment.