#909 (May 24, 2017, 1:56:12 PM)

1. Iptables_Semantics: new material by C. Diekmann (detail / hgweb)
2. Network_Security_Policy_Verification: new material by C. Diekmann (detail / hgweb)

Started by an SCM change

This run spent:

• 9.7 sec waiting;
• 12 min build duration;
• 12 min total from scheduled to completion.