Merge PR #10: Fix license file name.

This commit is contained in:
jenkins 2022-05-06 13:24:26 +02:00
commit 089fa503a8