Merge pull request #8215 from Mohdjariullah/main

Rename mjs.is-a.dev.json to mjs.json
This commit is contained in:
William Harrison
2023-09-25 14:22:25 +08:00
committed by GitHub