git: openjdk/mobile: 8233422: Extra space in the title of the HTML javadoc page

duke duke at openjdk.java.net
Mon Nov 4 21:08:09 UTC 2019


Changeset: bc882209
Author:    Ivan Gerasimov <igerasim at openjdk.org>
Date:      2019-11-04 13:02:40 +0000
URL:       https://git.openjdk.java.net/mobile/commit/bc882209

8233422: Extra space in the title of the HTML javadoc page

Reviewed-by: ihse, erikj

! make/Docs.gmk




More information about the mobile-changes mailing list