bug#12802: 23.4; feature wish: file-attributes in microsecond precision

[Hendrik Tews]

Hi,

please make file access/modification/status change times
available in microsecond precision on those systems that support
that. 

Motivation: I am maintaining an extension of Proof General that
compiles Coq source files to Coq object files on the fly when
needed. For that I have to compare file modification times in a
way similar to make. I would really like to do this with a
precision better than 1 second.

Thanks in advance,

Hendrik Tews