On 07/25/2013 03:05 PM, Omair Majid wrote: > On 07/25/2013 02:00 PM, Kumar Srinivasan wrote: >> It was decided the OpenJDK launcher name to be openjdk as well, there >> were discussions of course surounding this, but I can't remember. > > Any pointers to those discussions?
Never mind. I thought this was a recent OpenJDK 8-specific change, but I see the launcher name has been the same for OpenJDK 6 and 7 as well. Omair
