[charmod-norm] new commits pushed by r12a

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

* temporary file for publication checks
  by r12a
https://github.com/w3c/charmod-norm/commit/a3a66b9da88256ec3e38e04d3179956aa8ce75ec

Received on Monday, 4 April 2016 13:29:34 UTC