Task #12665 (Clean libraries licenses) done
Merge git.sv.gnu.org:/srv/git/liberty-eiffel