RFR: JDK-8295710 : remove os::dll_file_extension [v3]

Wed Oct 26 06:39:29 UTC 2022

On Tue, 25 Oct 2022 11:35:03 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote:

>> The os::dll_file_extension() function could be unified for the different OS platforms.
>
> Matthias Baesken has updated the pull request incrementally with one additional commit since the last revision:
> 
>   remove dll_file_extension from os.hpp

Hi David, Lutz and Martin, thanks for the reviews !

-------------

PR: https://git.openjdk.org/jdk/pull/10782