openssh unix dev - May 2017 - PROTOCOL still mentions v00 cert keys

Hello,
the v00 certificate keys were removed some time ago, but they are still 
mentioned in the PROTOCOL. Should not they be removed too?

[1] https://github.com/openssh/openssh-portable/blob/master/PROTOCOL#L36

Thanks,
-- 
Jakub Jelen
Software Engineer
Security Technologies
Red Hat

On Thu, 25 May 2017, Jakub Jelen wrote:
> Hello,
> the v00 certificate keys were removed some time ago, but they are still
> mentioned in the PROTOCOL. Should not they be removed too?
Fixed - thanks.