Michael Ströder wrote:

Howard Chu wrote:

...

What git commit ID?

As said in former times: Before reporting an ITS I *always* do git pull checking whether there was something committed after the tested build. If there was a new commit I always retest.

Please just answer the questions. Bear in mind that there is a propagation delay between the writable git-master and the public mirror.

I always have good reasons for asking for the information that I ask for. Second-guessing me is not going to get problems solved faster.