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

Snippets Groups Projects

You need to sign in or sign up before continuing.

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

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

Activity

Hai Dang mentioned in commit 83beb651 5 years ago

mentioned in commit 83beb651
Hai Dang 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