This request is superseded by
request 777982
(Show diff)
You're not reviewing the full diff of
request 777980
, but the diff to the superseded
request 746712
(Show full diff)
Overview
Request 777980 superseded
- Require current dune macros
- Use _service file
- Remove unicode-data.diff and dependency to unicode-ucd due to
usage of dune release profile
- Created by olh
- In state superseded
- Supersedes 746712
- Superseded by 777982
-
Open review for
factory-staging
Loading...
Login required, please
login
in order to comment
Request History
olh created request
- Require current dune macros
- Use _service file
- Remove unicode-data.diff and dependency to unicode-ucd due to
usage of dune release profile
licensedigger accepted review
ok
factory-auto declined review
Output of check script:
Attention, unicode-data.diff is not mentioned in spec files as source or patch.
factory-auto declined request
Output of check script:
Attention, unicode-data.diff is not mentioned in spec files as source or patch.
superseded by 777982
