diff --git a/collects/meta/props b/collects/meta/props index db85388e52..709b1e792f 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -898,7 +898,7 @@ path/s is either such a string or a list of them. "collects/reader" responsible (mflatt) "collects/readline" responsible (mflatt) "collects/realm" responsible (matthias) -"collects/redex" responsible (clklein robby) +"collects/redex" responsible (robby bfetscher) "collects/redex/examples/arithmetic.rkt" drdr:command-line (racket * "--no-print") "collects/redex/examples/church.rkt" drdr:command-line (mzc *) "collects/redex/examples/combinators.rkt" drdr:command-line (mzc *) @@ -1571,7 +1571,7 @@ path/s is either such a string or a list of them. "doc/release-notes/gracket" responsible (mflatt) "doc/release-notes/plai" responsible (jay) "doc/release-notes/racket" responsible (mflatt) -"doc/release-notes/redex" responsible (clklein robby) +"doc/release-notes/redex" responsible (robby bfetscher) "doc/release-notes/stepper" responsible (clements) "doc/release-notes/teachpack" responsible (matthias) "doc/release-notes/typed-racket" responsible (samth stamourv)