Skip to content

update license text (arbitrary change so that we can do a new release)#2

Merged
PSchmiedmayer merged 2 commits intodevelopfrom
lukaskollmer/fix-maybe
Dec 18, 2022
Merged

update license text (arbitrary change so that we can do a new release)#2
PSchmiedmayer merged 2 commits intodevelopfrom
lukaskollmer/fix-maybe

Commits

Commits on Nov 29, 2022