From: Brian Norris <banorris@uci.edu>
Date: Thu, 2 Aug 2012 23:55:58 +0000 (-0700)
Subject: Merge branch 'brian'
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=305c314f6e2e34396053c3974e3be3796a16e4e1;p=c11tester.git

Merge branch 'brian'
---

305c314f6e2e34396053c3974e3be3796a16e4e1