make PR type box list "fancier" without making it a github tasklist#6669
Merged
cmonr merged 1 commit intoARMmbed:masterfrom Apr 23, 2018
ithinuel:make_pr_template_fancier
Merged
make PR type box list "fancier" without making it a github tasklist#6669cmonr merged 1 commit intoARMmbed:masterfrom ithinuel:make_pr_template_fancier
cmonr merged 1 commit intoARMmbed:masterfrom
ithinuel:make_pr_template_fancier
