May 14, 2019
9:24 p.m.
On Tue, 14 May 2019 at 17:50, Paul Eggert <eggert@cs.ucla.edu> wrote:
The Java documentation should probably be updated to reflect the above. At least it should mention the possibility of "2019za" (shudder).
It should, but the hassle of making a change like that would be very painful. The main point is to ensure that the ID people use for patched versions should be sortable. Stephen