23 Apr
2018
23 Apr
'18
11:49 p.m.
Hi Raghu, I can reproduce the problem you observe. Hans, it seems the identifier uses the time of compilation, when it should probably use the time of last modification of the source file. Best, Arthur