GitHub reporting from Jens Oliver Meiert on 2020-07-01 (www-validator@w3.org from July 2020)

From: Jens Oliver Meiert <jens@meiert.com>
Date: Wed, 1 Jul 2020 17:42:26 +0200
To: W3C WWW Validator <www-validator@w3.org>
Message-ID: <CAJ0g8QTvAqqPdK0TcwnPE0_VJg1cWRFW64OjiD=N1GyLAgUCag@mail.gmail.com>

Hi validator maintainers—

reviewing a so far unanswered issue filed in March [1] I wondered, is
GitHub still the preferred way to make suggestions and report
problems, or are these to be raised here or elsewhere?

Thanks for clarifying!

 Jens.


[1] https://github.com/validator/validator/issues/940

--
Jens Oliver Meiert
https://meiert.com/en/

Received on Wednesday, 1 July 2020 15:42:54 UTC