Missing commit?

[Amogh Vasekar]

Hi Hugo,

I was looking at the build failures and saw that commit
5990ed461049a51c57e76ff8c9ae1fb3355c3ea3 is not in master.
Not sure if its intentional, can you please do a quick check?

Thanks
Amogh