1. 2018-11-26 Re: [PATCH] Add a flag for overriding default JNI lib openjdk-h Erik Joelsson 2. 2018-11-26 Re: [PATCH] Add a flag for overriding default JNI lib openjdk-b Erik Joelsson 3. 2018-11-26 Re: [PATCH] Add a flag for overriding default JNI lib openjdk-h David Holmes 4. 2018-11-26 Re: [PATCH] Add a flag for overriding default JNI lib openjdk-b David Holmes 5. 2018-11-25 [PATCH] Add a flag for overriding default JNI library openjdk-h Jakub =?UTF-8?Q?Va 6. 2018-11-25 [PATCH] Add a flag for overriding default JNI library openjdk-b Jakub =?UTF-8?Q?Va