timestamps in documentation and manpages generated by doxygen

[Paolo Greppi]

Hi,

I ITA doxygen so I am currently cleaning up the backlog in the BTS.

Looking at #785624, I noticed that upstream bug:
https://bugzilla.gnome.org/show_bug.cgi?id=751984
is closed + upstream has merged all the patches and they are in Debian since at least doxygen version 1.8.12-1 (stable+)

I was going to:
- mark https://bugs.debian.org/785624 as done
- edit these wiki pages to reflect the new status
  https://wiki.debian.org/ReproducibleBuilds/TimestampsInManpagesGeneratedByDoxygen
  https://wiki.debian.org/ReproducibleBuilds/TimestampsInDocumentationGeneratedByDoxygen
  https://wiki.debian.org/ReproducibleBuilds/TimestampsProposal (where it says doxygen >= 1.8.12, Debian pending) 
- have a look at the the 4/5 packages still marked as "timestamps_in_documentation_generated_by_doxygen" since it should be their fault now

But then I stopped and decided to check with the reproducible build team.
Should I proceed ? Do you prefer to edit the wiki pages ?

Thanks,

Paolo

P.S. please CC me since I am not subscribed to this list