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.

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

Error Suppression and Name Mapping feature #890

Closed
wants to merge 2 commits into from

Conversation

BCoskun
Copy link

@BCoskun BCoskun commented Jun 10, 2022

Signed-off-by: Bulent Coskun [email protected]

Description

Issue reference

Issue : #887

Checklist

Please make sure you've completed the relevant tasks for this PR, out of the following list:

  • Code compiles correctly
  • Created/updated tests
  • Extended the documentation

@halspang
Copy link
Contributor

@BCoskun - Are you still making progress on this/is it ready to review?

@halspang
Copy link
Contributor

@BCoskun - Do you need someone to take over here?

@WhitWaldo
Copy link
Contributor

@BCoskun Thank you for your contribution!

As this PR is still in a draft and we haven't heard anything back on it in over two years, I'm going to go ahead and close it. Should you complete it and want to resubmit, please don't hesitate to either re-open this or submit a separate PR.

@WhitWaldo WhitWaldo closed this Nov 30, 2024
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.

4 participants