Rename *.widl files to *.webidl #888

Activity

1. saschanaz commented on Sep 17, 2021

   

   Kagami Sascha Rosylight (saschanaz)

   on Sep 17, 2021

   ContributorAuthor

   More actions

   #1034 removed them all.

   @github-actions close
2. Kagami Sascha Rosylight (saschanaz)

   closed this as completedon Sep 17, 2021
3. github-actions commented on Sep 17, 2021

   

   github-actionsBot

   on Sep 17, 2021

   Contributor

   More actions

   Closing because Kagami Sascha Rosylight (@saschanaz) is one of the code-owners of this repository.