mergify: add fixes to the conditions#12269
Merged
0xc0170 merged 10 commits intoARMmbed:masterfrom Jan 17, 2020
Merged
Commits
Commits on Jan 16, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
