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

Tue Oct 25 16:11:51 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

Nice cleanup! LGTM. Yeah, describing that you remove it in the JBS issue makes sense.

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

Marked as reviewed by mdoerr (Reviewer).

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