Skip to content

Conversation

@charlesccychen
Copy link

R: @melap

@melap
Copy link

melap commented Apr 10, 2018

I think this whole line is being removed in #412 by @udim

@melap
Copy link

melap commented Apr 11, 2018

@asfgit merge

asfgit pushed a commit that referenced this pull request Apr 11, 2018
@asfgit
Copy link

asfgit commented Apr 11, 2018

Error: PR failed in verification; check the Jenkins job for more information.

@melap
Copy link

melap commented Apr 11, 2018

@asfgit merge

@asfgit asfgit closed this in 58fd659 Apr 11, 2018
@melap
Copy link

melap commented Apr 11, 2018

Didn't notice this just changed the content directory -- content is autogenerated after merge, so you have to update the version in src. the other open PR that changes this modifies src so will merge that one and all should be well.

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.

3 participants