Am 29.06.2022 um 02:53 teilte Peter Müller mit: Hi,
I've just tested it, and the answer is no. The bug is still there with - pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian)
Yes, correct, else I'd have closed it already. I keep the bug open plase be so kind to contact the author of cleveref if not done yet.
Hilmar -- sigfault
OpenPGP_signature
Description: OpenPGP digital signature