- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Fri, 09 Jul 2021 16:45:09 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/i18n-drafts: * techniques2.css: For .resource-box .goto add padding and border. by r12a https://github.com/w3c/i18n-drafts/commit/afe909d513ef22b08997bf6aa3d08e00cd37f1c1 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 9 July 2021 16:45:44 UTC