Ivan Grokhotkov 468d90762a Merge branch 'bugfix/freertos_portmux_debug' into 'master' ...

freertos: fix compilation errors with portMUX debugging enabled

See merge request !1392

2017-10-17 04:44:04 +08:00

..

freertos

Merge branch 'bugfix/freertos_portmux_debug' into 'master'

2017-10-17 04:44:04 +08:00