Don't use cbmc-developers as a code owner#2580

Closed

owen-mc-diffblue wants to merge 3 commits intodiffblue:developfrom

owen-mc-diffblue:owen-jones-diffblue/update-codeowners

Commits on Jul 19, 2018

Remove default code owners
Owen Jones
committed
Don't use cbmc-developers as a code owner
Owen Jones
committed
Make directories match from root
Owen Jones
committed