Release notes for Agda version 2.6.3.1
======================================

* Added support for GHC 9.10 and 9.12.

* Fix #6714: backslash escaping for Emacs 29 (PR #6735)
* Fix #6750: use Set instead of HashSet for imported modules
* PR #6664: fix syntax errors related to docstrings in Emacs mode
* PR #6533: star-is-type compat for GHC backend

* Tested with GHCs 8.0.2, 8.2.2, 8.4.4, 8.6.5, 8.8.4, 8.10.7, 9.0.2, 9.2.8, 9.4.8, 9.6.7, 9.8.4, 9.10.3 and 9.12.2.