Closed martamaja10 closed 1 month ago
This PR follows https://github.com/root-project/web/pull/1005
AFAIK, this can be merged at your earliest convenience @martamaja10 . Thanks.
This PR follows https://github.com/root-project/web/pull/1005