Merge Proposal Status

• URL: https://salsa.debian.org/science-team/armadillo/-/merge_requests/3 Refresh
• Can be merged
• Last scanned: 2023-07-28T05:40
• Status: Merged at 2022-11-25T00:54 by stuart
• Run Details

State changes

• 2022-11-24T13:40: success : Success