Processed: control message for bug #20773

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 20773 notabug
Bug #20773 [auctex] 11.88.6; Preview fails on nested \include{} using 
\documentclass{sigplanconf}
Added tag(s) notabug.
> close 20773
bug#20773: 11.88.6; Preview fails on nested \include{} using 
\documentclass{sigplanconf}
bug closed, send any further explanations to
20773@debbugs.gnu.org and Alex Rozenshteyn <rpglover64@gmail.com>

> quit
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

GNU bugs database, https://debbugs.gnu.org/