not yet implemented
Merge git.sv.gnu.org:/srv/git/liberty-eiffel

Conflicts:
	tutorial/attributes.e
written_declaration_type_mark
fix Savannah #43631
Merge remote-tracking branch 'upstream/master'