Deleted my branch & merge proposal as Michael already has one with the fixes (if it's decided to use them).
Deleted my branch & merge proposal as Michael already has one with the fixes (if it's decided to use them).