fixes for iris/iris!886 and iris/iris!896 (!37) · Merge requests · Iris / gpfsl · GitLab

Snippets Groups Projects

Merged Simon Spies requested to merge simon/new_dist_later into master 2 years ago

Approval is optional

Activity

Simon Spies added 2 commits 2 years ago
added 2 commits

84988822 - fixes for iris!896 (merged)

7feffbef - bump Iris

Compare with previous version
Simon Spies added 1 commit 2 years ago
added 1 commit

a9884f6a - fixes for iris!886 (merged) and iris!896 (merged)

Compare with previous version
Simon Spies changed title from fixes for iris!886 (merged) to fixes for iris!886 (merged) and iris/iris!896 2 years ago

changed title from fixes for iris!886 (merged) to fixes for iris!886 (merged) and iris/iris!896
Robbert Krebbers merged 2 years ago

merged
Robbert Krebbers mentioned in commit 7eae77ac 2 years ago

mentioned in commit 7eae77ac
Robbert Krebbers @robbertkrebbers 2 years ago

Owner

Thanks for fixing reverse dependencies of Iris!

Please register or sign in to reply