on master help sign in
Removing extraneous whitespace
commit991780c6ccc562009a71c2566f6c7802812a17e5 authorBrendan Hay <brendan.g.hay@gmail.com> dateTue 24 Mar 2015, 16:26 (12 years ago) parenta7f9521
1 file changed+1−1
build-constraints.yaml+1−1
build-constraints.yaml+1−1
@@ -742,7 +742,7 @@ packages:
742742
743743 "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
744744 - waitra
745−
745+
746746 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
747747 - gitrev
748748