Commit bdc7e7e0 authored by Robbert Krebbers's avatar Robbert Krebbers

Update LICENSE.

parent 04bb9e5e
Pipeline #25237 passed with stage
in 20 minutes and 46 seconds