That updated webrev looks good.
> On 17 Jun 2020, at 15:37, Jonathan Gibbons <jonathan.gibb...@oracle.com>
> wrote:
>
> I have posted the correct webrev posted for this bug and URL.
>
> -- Jon
>
> On 6/17/20 6:18 AM, Hannes Wallnoefer wrote:
>> Hi Jon,
>>
>> The URL for the webrev looks correct, but it contains the patch for 8245696
>> (invalid file names in doc-files).
>>
>> Believe me, I hate juggling bug ids just like you :)
>>
>> Hannes
>>
>>> Am 17.06.2020 um 00:33 schrieb Jonathan Gibbons
>>> <jonathan.gibb...@oracle.com>:
>>>
>>> Please review a small patch to modify the "Generated by javadoc" string
>>> that is
>>> added to each HTML file generated by the standard doclet.
>>>
>>> The change is to always include the version number, so that it is always
>>> available
>>> for tools analyzing the generated docs.
>>>
>>> The timestamp remains optional, controlled by the `-notimestamp`
>>> command-line
>>> option.
>>>
>>> -- Jon
>>>
>>> JBS: https://bugs.openjdk.java.net/browse/JDK-8243113
>>> Webrev: http://cr.openjdk.java.net/~jjg/8243113/webrev.00/
>>>
