Commit 04bb9e5e authored by Robbert Krebbers's avatar Robbert Krebbers

Update LICENSE.

parent d2d9b84c
Pipeline #25183 passed with stage
in 7 minutes and 25 seconds