Bug#796044: \heightof stopped working after upgrade

[Christoph Pfister]

Am Mo., 29. Apr. 2019 um 23:22 Uhr schrieb Hilmar Preuße <hill...@web.de>:
<snip>
> Can we close this bug?

Sure!

Thanks,

Christoph