GNU bug report logs - #57720
13.1.4; renumbering simple labels doesn't work with tcolorbox From: "Wierdl Máté" <wierdlmate@gmail.com>

Previous Next

Package: auctex;

Reported by: Wierdl Máté <wierdlmate <at> gmail.com>

Date: Sat, 10 Sep 2022 19:44:01 UTC

Severity: normal

Found in version 13.1.4

Done: Arash Esbati <arash <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #16 received at control <at> debbugs.gnu.org (full text, mbox):

From: Arash Esbati <arash <at> gnu.org>
To: control-debbugs <control <at> debbugs.gnu.org>
Subject: Re: bug#57720: 13.1.4; renumbering simple labels doesn't work with
 tcolorbox
Date: Mon, 12 Sep 2022 17:50:21 +0200

close 57720
quit
This bug report was last modified 2 years and 249 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.