Merge pull request #4070 from tautschnig/codeowners-string-solver

Update CODEOWNERS to reflect string solver move

Author: tautschnig

CODEOWNERS

@@ -31,6 +31,7 @@
 /src/goto-programs/ @smowton @kroening @tautschnig @peterschrammel @pkesseli
 /src/util/ @smowton @kroening @tautschnig @peterschrammel @pkesseli
 /src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel
+/src/solvers/strings @martin-cs @romainbrenguier @peterschrammel
 /jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel
 /src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton
 /src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton