A corresponding patch was pushed in
788901567dc9ab7e514d738debc21f8610bec21c
. Closing.