Skip to content

make LICENSE consistent with Iris

Ralf Jung requested to merge ralf/license into master

@tchajed are you okay with this change?

AFAIK the opam "maintainer" field is the package maintainer, not the project maintainer, so I made that also consistent with the main Iris repository.

Merge request reports