Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Revert Merge pull request #1816 #1984

Closed
wants to merge 1 commit into from
Closed

Revert Merge pull request #1816 #1984

wants to merge 1 commit into from

Conversation

thk123
Copy link
Contributor

@thk123 thk123 commented Mar 28, 2018

Currently causing problems in test-gen. @NathanJPhillips Is looking at a fix, but in the mean time, this commit reverts #1816

Revert "Merge pull request diffblue#1816 from NathanJPhillips/feature…
93ac00a 
…/overlay-methods"

This reverts commit 97a6713, reversing
changes made to 5cbb758.
@thk123
Copy link
Contributor Author

thk123 commented Mar 29, 2018

No longer required as fixed by #1982

@thk123 thk123 closed this Mar 29, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@smowton smowton Awaiting requested review from smowton

@NathanJPhillips NathanJPhillips Awaiting requested review from NathanJPhillips

@cesaro cesaro Awaiting requested review from cesaro

@kroening kroening Awaiting requested review from kroening kroening is a code owner

@mgudemann mgudemann Awaiting requested review from mgudemann

@peterschrammel peterschrammel Awaiting requested review from peterschrammel peterschrammel is a code owner

@tautschnig tautschnig Awaiting requested review from tautschnig tautschnig is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@thk123