Angus Gratton b10e1a92b6 freertos: Update comments in "port" section (portMUX/etc) ... Some comments had fallen out of date.		2017-10-20 11:17:44 +08:00
..
freertos	freertos: Update comments in "port" section (portMUX/etc)	2017-10-20 11:17:44 +08:00