[ moved ] functions of Agda.Utils.Unicode to their single use sites.
[ removed ] obsolete Agda.Utils.Unicode.
[ fix-agda-whitespace ] Added Lexer.hs to ignored files.
[ comments ] Documented different line terminators (lexing).
[ new ] A lens for AlexInput.lexInput.
[ Lexer.x ] Removed unused regex and documented Unicode handling.
[ Issue 1337 ] Fixed by preprocessing non-printable Unicode characters
into a non-printable ASCII character.
[ Issue 1337 ] Test cases for lexing non-printable characters in comments.
Merge branch 'maint-2.4.2'
[ Issue 1337 ] Removed some &zwnj; ZERO WIDTH NON-JOINER characters.

No longer parses with these non-printing characters.
[ fix-agda-whitespace ] Complain also about trailing Format characters.
[ comment ] Haddockumented Utils.Char.
[ Utils.Char ] Some tools to explore the Data.Char.is... functions.
Merge branch 'maint-2.4.2'
[ Makefile ] Use $(VERSION) instead of fixed version 2.4.2.1.
[ interaction ] Accept empty input in Cmd_goal_context_infer.
[ interaction ] test for empty input in Cmd_goal_context_infer.
[ emacs-mode ] Hint on empty pattern variables to split on result.
Merge branch 'maint-2.4.2'
[ Utils.Either ] clean: removed old code, pointless __IMPOSSIBLE__, commented.