On 10/9/15 11:54 AM, Chris Hegarty wrote:
On 9 Oct 2015, at 19:51, Stuart Marks <[email protected]> wrote:Dr Deprecator approves!Hmmm.. does Dr Deprecator have an OpenJDK userId? If not, we should have one assigned! ;-)
Yes, good idea. At some point, then, Dr Deprecator will become a Decommitter. <rimshot/>
