log

age author description
Wed, 25 Dec 2013 11:43:41 -0500 Adam Chlipala No need to ROLLBACK after a failed COMMIT