[ilreq] new commits pushed by r12a

The following commits were just pushed by r12a to 
https://github.com/w3c/ilreq:

* validation fixes; ids for sections; various other code fixes
  by r12a
https://github.com/w3c/ilreq/commit/5e211e2ee5bdbfd6d2b8142d38336a5c85ddc6b9

Received on Wednesday, 15 July 2015 16:40:23 UTC