On 4/2/24 02:20, Jürgen Spitzmüller wrote:
Am Dienstag, dem 02.04.2024 um 06:17 + schrieb Juergen
Spitzmueller:
commit 98080ca0d548b754433a99f9f097054134117184
Author: Juergen Spitzmueller
Date: Tue Apr 2 08:15:53 2024 +0200
Fix label escaping in InsetMathRef (#12980)
Am Dienstag, dem 02.04.2024 um 06:17 + schrieb Juergen
Spitzmueller:
> commit 98080ca0d548b754433a99f9f097054134117184
> Author: Juergen Spitzmueller
> Date: Tue Apr 2 08:15:53 2024 +0200
>
> Fix label escaping in InsetMathRef (#12980)
>
> This was completely broken: the IDs