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.