Your bug report #70455: [PATCH] Add new user option `preview-leave-open-previews-visible' which was filed against the auctex package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 70455@debbugs.gnu.org. -- 70455: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70455 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems