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.