2020-May Archive by Author

• Messages sorted by: [ Thread ] [ Date ] [ Author ]
• Other months

Nick Wellnhofer

• Re: [xml] [PATCH] win32: add "symbols" flag to configure.js Mon May 04 12:48:22 GMT 2020

Piotr Bański

• [xml] xmllint for GitHub Actions Thu May 07 18:48:31 GMT 2020