From: Ivan Grokhotkov <ivan@espressif.com>
Date: Tue, 7 Nov 2017 11:31:21 +0000 (+0800)
Subject: Merge branch 'doc/freertos_port_comments' into 'master'
X-Git-Tag: v3.1-dev~94
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=5f9ac5fadba41411d8733fc6d90500450139e522;p=esp-idf

Merge branch 'doc/freertos_port_comments' into 'master'

freertos: Update comments in "port" section (portMUX/etc)

See merge request !1431
---

5f9ac5fadba41411d8733fc6d90500450139e522