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