Skip to content

Conversation

asgerf
Copy link
Contributor

@asgerf asgerf commented Mar 4, 2020

Hopefully the last time we need to do this.

The PR check has been enabled but some PRs slipped past presumably because they were already green or due to a delay in bumping the submodule.

@asgerf asgerf added the JS label Mar 4, 2020
@asgerf asgerf requested a review from a team as a code owner March 4, 2020 19:30
@semmle-qlci semmle-qlci merged commit 98034aa into github:master Mar 4, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants