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

Merged

smowton merged 2 commits intodiffblue:developfrom

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

Jul 24, 2018

Commits on Jul 24, 2018

Make directories match from root
Owen Jones
committed
Remove code owners from low-risk files
Owen Jones
committed