diff --git a/build-constraints.yaml b/build-constraints.yaml index 9c44eb88..d9d3d9fe 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -742,7 +742,7 @@ packages: "Oleg Grenrus oleg.grenrus@iki.fi @phadej": - waitra - + "Adam C. Foltzer acfoltzer@galois.com @acfoltzer": - gitrev