Merge branch 'master' into support/openocd/uxTopUsedPriority

This commit is contained in:
Cobus van Eeden 2020-10-01 10:37:29 -07:00 committed by GitHub
commit 5c82371412
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,7 +1,7 @@
--- ---
name: Bug report name: Bug report
about: Create a report to help us improve FreeRTOS. This should only be used for confirmed about: Create a report to help us improve FreeRTOS. This should only be used for confirmed
bugs, if you suspect something it is best to first discuss it on the FreeRTOS community bugs. If you suspect something it is best to first discuss it on the FreeRTOS community
support forums linked below. support forums linked below.
title: "[BUG]" title: "[BUG]"
labels: bug labels: bug