On 2013-08-12 15:27, Dicebot wrote: > Jacob, it is probably worth creating a pull request with latest rebased > version of your proposal to simplify getting a quick overview of > changes. Also please tell if there is anything you want/need to > implement before merging. I have rebased now. -- /Jacob Carlborg