Update changelog and bump version to 0.9.10.1.2

Author: facundominguez

CHANGES.md

@@ -2,6 +2,8 @@
 
 ## Next
 
+## 0.9.10.1.2 (2025-03-06)
+
 - Implement opaque reflection, a feature to allow reflecting functions which
   call to non-reflected functions [#2323](https://github.com/ucsd-progsys/liquidhaskell/pull/2323).
 - Implement reflection from interface files, which can reflect functions from

liquidhaskell-boot/liquidhaskell-boot.cabal

@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               liquidhaskell-boot
-version:            0.9.10.1
+version:            0.9.10.1.2
 synopsis:           Liquid Types for Haskell
 description:        This package provides a plugin to verify Haskell programs.
                     But most likely you should be using the [liquidhaskell package](https://hackage.haskell.org/package/liquidhaskell)
@@ -142,7 +142,7 @@ library
                     , gitrev
                     , hashable             >= 1.3 && < 1.6
                     , hscolour             >= 1.22
-                    , liquid-fixpoint      == 0.9.6.3.1
+                    , liquid-fixpoint      == 0.9.6.3.2
                     , mtl                  >= 2.1
                     , optparse-applicative < 0.19
                     , githash

liquidhaskell.cabal

@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               liquidhaskell
-version:            0.9.10.1
+version:            0.9.10.1.2
 synopsis:           Liquid Types for Haskell
 description:        Liquid Types for Haskell.
 license:            BSD-3-Clause
@@ -78,7 +78,7 @@ library
   hs-source-dirs:     src
 
   build-depends:      base                 >= 4.11.1.0 && < 5,
-                      liquidhaskell-boot   == 0.9.10.1,
+                      liquidhaskell-boot   == 0.9.10.1.2,
                       bytestring           == 0.12.1.0,
                       containers           == 0.7,
                       ghc-prim