Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
minor #14709 Drop unneeded @javascript tag (jakubtobiasz)
This PR was merged into the 1.13 branch. Discussion ---------- | Q | A | |-----------------|--------------------------------------------------------------| | Branch? | 1.13 <!-- see the comment below --> | | Bug fix? | no | | New feature? | no | | BC breaks? | no | | Deprecations? | no <!-- don't forget to update the UPGRADE-*.md file --> | | Related tickets | n/a | | License | MIT | Part of new CI, this tag was causing problems. We discovered we don't need it 🤷🏼♂️. Commits ------- 90fa411 Drop unneeded @javascript tag
- Loading branch information