Re: [PHP-DEV] PHP 8.0 Release Manager Selection

This is only part of a thread. view whole thread
  109158
March 19, 2020 23:31 ben@benramsey.com (Ben Ramsey)
> On Mar 19, 2020, at 15:59, Mike Schinkel <mike@newclarity.net> wrote: > > P.S. Ben did not ask me to write this. He will probably even be a bit embarrassed that I did. :-)
A little bit. :D I greatly appreciate your kind words. Thanks, Mike!