2 commits

Author	SHA1	Message	Date
John Backus	20d65ef161	Fix namespace annotations	2016-04-10 14:33:47 -07:00
Markus Schirp	c56ecdb51a	Reduce zombifier ... * And add a full specification	2015-06-13 04:04:15 +00:00