From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 26 Aug 2014 21:10:39 +0000 (+0100)
Subject: Unblock gappalib-coq and frama-c (thanks Jerry James).
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=33c8c27995cc398dfdc23502a5ba579792b5833c;hp=33c8c27995cc398dfdc23502a5ba579792b5833c;p=goaljobs-goals.git

Unblock gappalib-coq and frama-c (thanks Jerry James).
---