Extend maintenance to handle multiple LRs at a time - #105

Extend maintenance to handle multiple LRs at a time#105

JorgeMVP wants to merge 2 commits into

seL4:masterseL4/seL4_projects_libs:masterfrom

JorgeMVP:maintenance-impJorgeMVP/seL4_projects_libs:maintenance-impCopy head branch name to clipboard