Release notes for Agda version 2.6.1.3
======================================

* Added support for GHC 8.10.3.