Merge Proposal Status
- URL: https://salsa.debian.org/ocaml-team/coq-doc/-/merge_requests/1
- Can be merged
- Last scanned: 2023-03-06T23:06
- Status: open
- Run Details
State changes
- 2023-01-20T07:52: success : Succesfully updated
- 2022-09-13T18:25: success : Success
- 2022-03-30T12:02: success : Success