An error occurred while fetching the assigned milestone of the selected merge_request.
Make trivial instances explicit
Compare changes
This is in preparation for coq/coq#9274.
Should be backward compatible but that remains to be tested.