[skip changelog] Document debug system in platform specification#882
Merged
per1234 merged 2 commits intoarduino:masterfrom Jul 31, 2020
per1234:document-debug-system
Merged
[skip changelog] Document debug system in platform specification#882per1234 merged 2 commits intoarduino:masterfrom per1234:document-debug-system
per1234 merged 2 commits intoarduino:masterfrom
per1234:document-debug-system