[ 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
[ releases notes ] Fixed indentation
[ releases notes ] Fixed push command
[ releases notes ] Removed unnecessary `cabal configure` command
[ releases notes ] Interchanged two steps

Adding new header to CHANGELOG before bumping the version
[ releases notes ] Removed note
[ releases notes ] Updating the standard library Wiki page
Merge branch 'maint-2.4.2'
Fixed bad merging
[ LaTeX-backend] Tweak fontspec parameters to fix italic/bold fonts
Merge branch 'master' of https://github.com/agda/agda