Fix/make depend macos (!7) · Merge requests · pub / frama-c · GitLab

Snippets Groups Projects

Closed Andre Maroneze requested to merge fix/make-depend-macos into stable/manganese 2 years ago

Activity

Andre Maroneze assigned to @maroneze 2 years ago

assigned to @maroneze
Andre Maroneze changed target branch from master to stable/manganese 2 years ago

changed target branch from master to stable/manganese
Virgile Prevosto @virgile · 2 years ago

Owner

Shouldn't we close this MR, since it seems completely unrelated to #2615 (closed) after all?
Andre Maroneze closed 2 years ago

closed

Please register or sign in to reply