29 Sep
2018
29 Sep
'18
9:53 p.m.
I guess I lean very slightly in favor of announinng on TEI-L. The release, however, was version 7.46.0, not 7.45.0. I have updated your message accordingly.