Update to version 12.2.0
Merge branch 'master' into asm
Update to version 12.2.1
Merge branch 'master' into asm
Update to version 13.0.1
Merge branch 'master' into asm

Conflicts:
	GNUmakefile