Commit 1b314210 authored by Chris Lamb's avatar Chris Lamb 👀
Browse files

dc_created_timestamp_in_javadoc has a bug# in strip-nondeterminism.

parent 0bbcc667
Loading
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -1882,6 +1882,7 @@ dc_created_timestamp_in_javadoc:
    javadoc appears to add a dc.created field with today's date.
    .
    openjdk 11 related?
  url: https://bugs.debian.org/913132
cflags_recorded_in_in_ada_ali_files:
  description: |
    For example