Version-2–3−2–2

 ------------------------------------------------------------------------
 -- Release notes for Agda 2 version 2.3.2.2
 ------------------------------------------------------------------------

 Important changes since 2.3.2.1:

 * Fixed a bug that sometimes made it tricky to use the Emacs mode on
   Windows [issue 757].

 * Made Agda build with newer versions of some libraries.