Bug#796044: \heightof stopped working after upgrade

To: Hilmar Preuße <hille42@web.de>
Cc: 796044@bugs.debian.org
Subject: Bug#796044: \heightof stopped working after upgrade
From: Christoph Pfister <christophpfister@gmail.com>
Date: Tue, 30 Apr 2019 19:07:36 +0200
Message-id: <[🔎] CAL7owaDnp=ydwQx8qgfwKqtbP=XxcO+tPrt=kfmF3WqhrzookA@mail.gmail.com>
Reply-to: Christoph Pfister <christophpfister@gmail.com>, 796044@bugs.debian.org
In-reply-to: <[🔎] 342a6d41-dce6-62e2-1b1c-b594144f7336@web.de>
References: <CAL7owaDb8TQpigyQBDY1kirukdOY0DYJ21LUvJuO8MEVOzyOEg@mail.gmail.com> <[🔎] 342a6d41-dce6-62e2-1b1c-b594144f7336@web.de> <CAL7owaDb8TQpigyQBDY1kirukdOY0DYJ21LUvJuO8MEVOzyOEg@mail.gmail.com>

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

Sure!

Thanks,

Christoph

Reply to:

References:
- Bug#796044: \heightof stopped working after upgrade
  - From: Hilmar Preuße <hille42@web.de>