Matt Mascarenhas 2f800e4271 hero/code444: Fix typo		2018-04-29 22:02:51 +01:00
cmuratori/hero	hero/code444: Fix typo	2018-04-29 22:02:51 +01:00
miotatsu/riscy	riscy059: Fix two annotations	2018-04-24 20:56:54 +01:00
pervognsen/bitwise	Annotate bitwise021	2018-04-25 19:29:46 +01:00