* Pavel Tisnovsky: > Does anyone know how to find out the original bug ID or push number to > OpenJDK7 repository please?
The fix was contained in the initial load, so a bug number may still exist, but not a push number. -- Florian Weimer <fwei...@bfk.de> BFK edv-consulting GmbH http://www.bfk.de/ Kriegsstraße 100 tel: +49-721-96201-1 D-76133 Karlsruhe fax: +49-721-96201-99
