On Wed, Feb 5, 2014 at 11:29 AM, Benoit Chesneau <[email protected]> wrote: > @Dirkjan what would be the purpose of @dev at the end in this case?
Have a place where people can keep track of high-level discussions without having to be inundated with notifications from machines. Cheers, Dirkjan
