I need this for https://github.com/coq/coq/pull/9410
Thanks!
This will create a new commit in order to revert the existing changes.