Hi @lueck. No, I do not have commit access. To be honest, I am not even sure if this change should be made on the trunc branch or the stable branch.