Work towards fixing PreservedSesquilinearForms#52

fingolfin wants to merge 1 commit into

mastergap-packages/forms:masterfrom

fix_recognitiongap-packages/forms:fix_recognitionCopy head branch name to clipboard