[charmod-norm] new commits pushed by r12a

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

* file produced for publication
  by r12a
https://github.com/w3c/charmod-norm/commit/c0e5e9442e0694cebc7d6d759a31fa7f79dece48

Received on Monday, 4 April 2016 14:07:14 UTC