Hi Oliver, On Fri, Jan 8, 2016 at 5:22 PM, Oliver Lietz <[email protected]> wrote: > +1 (though I would have preferred increment and decrement instead of inc and > dec on Counter)
As I am redoing the release I would make the change in method names. Do you have any other suggestion wrt API? If yes then time is now :) Chetan Mehrotra
