Make-all result summary
make-all finally went through, failing only at lambdabot and hsmtlib. I
did not yet investigate the latter. Anyways, I wanted to record this
fact, hence the empty commmit.
Joachim Breitner
8 years ago