This merge fixes an incorrect statement of the license in the debian packaging.
This will create a new commit in order to revert the existing changes.
