From: Ivan Grokhotkov Date: Thu, 7 Dec 2017 03:55:10 +0000 (+0800) Subject: Merge branch 'bugfix/freertos_check_task_waiting_termination' into 'master' X-Git-Tag: v3.1-beta1~556 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2b92119840c41156451f75effe7a328273ce3e7f;p=esp-idf Merge branch 'bugfix/freertos_check_task_waiting_termination' into 'master' Freertos Task Deletion backport and FPU documentation See merge request !1591 --- 2b92119840c41156451f75effe7a328273ce3e7f