Hello, Emmanuel Bourg, on Wed 27 May 2015 13:51:13 +0200, wrote: > I'm not very fond of this suggestion, as it would change the behavior > our users may expect (the -notimestamp option also removes the version > of the JDK used, and this is sometime used by Greasemonkey scripts to > change the style of the pages [1])
Perhaps javadoc could be made to use by default the SOURCE_DATE_EPOCH environment variable when it is defined? Samuel
