[ release 2.4.2.2 ] Added release source repo to .cabal
[ release 2.4.2.2 ] Removed -Werror
[ release 2.4.2.2 ] Removed release source repo from .cabal
[ release 2.4.2.2 ] Restored -Werror
[ release 2.4.2.2 ] Added 2.4.2.3 section to CHANGELOG
[ release 2.4.2.2 ] Bumped version to 2.4.2.3
Merge remote-tracking branch 'origin/maint-2.4.2' into maint-2.4.2
Merge branch 'maint-2.4.2'

Conflicts:
	Agda.cabal
	mk/paths.mk
	src/data/emacs-mode/agda2-mode.el
	test/interaction/Issue1244a.out
	test/interaction/Issue1244b.out