Re: custom extension for make/SourceRevision.gmk

[Christian Thalinger]

Done: https://bugs.openjdk.java.net/browse/JDK-8210008

> On Aug 23, 2018, at 4:56 PM, Erik Joelsson <erik.joels...@oracle.com> wrote:
>