On Tue, Jan 9, 2018 at 1:47 PM, Robert Munteanu <[email protected]> wrote: > ...- place it in the whiteboard and move it to a proper repo before its > first release, with the release manager proposing a name..
+1, it's simple and leaves time to make a proper naming decision. -Bertrand
