On Wed, Dec 10, 2014 at 12:52:47PM +0100, Jasper Lievisse Adriaanse wrote: > +524 sep 19 2013 > +534 dec 15 2011 > +552 mar 17 2007 > +564 jul 9 2012 > +567 nov 19 2007 > +589 oct 5 2011 > +596 jul 11 2012 > +597 aug 16 2011 > +600 jan 26 2012 > +601 jul 22 2014 > +614 jun 7 2013 > +639 jun 26 2010 > +657 (never used) > +663 sep 10 2011 > +
That info can probably added to the list, just to know. I would probably comment the entry as well, not for reuse, but just to note it's no longer around. When we reach 1000, I expect this won't gain us a lot... just an extra 10 or so values...
