Make Romain a code owner for symex, per Peter Schrammel's recommendation#5130

Merged

smowton merged 1 commit intodiffblue:developfrom

smowton:smowton/admin/symex-code-owner

Sep 26, 2019

Commits on Sep 26, 2019

Make Romain a code owner for symex, per Peter Schrammel's recommendation
smowton
committed