Processed: Bug#583558: texinfo: @noindent has no effect if not preceeded by a blank line
Processing commands for control@bugs.debian.org:
> tags 583558 + fixed-upstream
Bug #583558 [texinfo] texinfo: @noindent has no effect if not preceeded by a blank line
Added tag(s) fixed-upstream.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
583558: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583558
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: