[data-shapes] Pull Request: Rename agenda-2025-02-10 to agenda-2025-02-10.md

TallTed has just submitted a new pull request for https://github.com/w3c/data-shapes:

== Rename agenda-2025-02-10 to agenda-2025-02-10.md ==
Make it `.md` so links work as content clearly intended

See https://github.com/w3c/data-shapes/pull/236


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config