On Sat, 16 Jan 2016, Jonathan Wakely wrote: > This removes stray closing braces in the docs for dg-error, dg-warning > etc. > > OK for trunk?
Yes. Sorry for the delay. I expected someone else to pick this up for review/approval, but now noticed that this patch apparently has not been committed yet: commit 1cb064263cfcfa14da81585886750f01a5611c7e Author: Jonathan Wakely <jwak...@redhat.com> Date: Sat Jan 16 00:11:27 2016 +0000 * doc/sourcebuild.texi (Directives): Remove extra closing braces. Gerald