fill in blanks in LICENSE (!15) · Merge requests · Iris / lambda-rust · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/license into master 5 years ago

Follows iris!387 (merged) Cc @robbertkrebbers @jjourdan

Activity

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

LGTM
Ralf Jung mentioned in commit 63cf64b6 5 years ago

mentioned in commit 63cf64b6
Ralf Jung merged 5 years ago

merged
Jacques-Henri Jourdan @jjourdan · 5 years ago

Maintainer

This has already been merged, but, FWIW, I agree with this change.

Please register or sign in to reply