Skip to content

Conversation

@pwntester
Copy link
Contributor

@pwntester pwntester commented May 22, 2020

My attempt to implement #3139

@pwntester pwntester requested a review from a team as a code owner May 22, 2020 16:13
aschackmull
aschackmull previously approved these changes May 26, 2020
@aschackmull
Copy link
Contributor

LGTM, but the autoformat check failed, so you'll just need to re-autoformat.

@pwntester
Copy link
Contributor Author

Weird, thats should be already formatted. I cant see the failing error due to Unknown host: jenkins.internal.semmle.com
Im on paternal leave, so wont have much free time. I would appreciate if you could resolve the formatting errors

@aschackmull aschackmull merged commit ad8647f into github:master Jun 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants