Ensure that changed options are reset when throwing an exception.
authorMike Taylor <mike@miketaylor.org.uk>
Mon, 10 May 2010 16:41:42 +0000 (17:41 +0100)
committerMike Taylor <mike@miketaylor.org.uk>
Mon, 10 May 2010 16:41:42 +0000 (17:41 +0100)

No differences found