Matt Mascarenhas c6b57c5f07 Slightly rewrite two annotations in riscy000		2018-01-12 20:38:24 +00:00
..
riscy	Slightly rewrite two annotations in riscy000	2018-01-12 20:38:24 +00:00