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

Add MWE and mess around with pushback bugs #1191

Draft
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

alerque
Copy link
Member

@alerque alerque commented Aug 26, 2021

Included so far is an MWE for #1185 and a bizzare hack that gives better results (probably by covering up the actual bug).

@Omikhleia
Copy link
Member

This 3+ year old PR never came to fruition as-is and now has conflicts.
Due to inactivity, and as part of backlog cleaning, I would have been tempted to close it, but the topic was interesting, and the reasons why it didn't eventually occur are unclear.
So I'm adding the "pending closure" as a label - As a last chance for contributors to eventually say their word.
After some period of time, this inactive PR will be closed without further notice.

@Omikhleia Omikhleia added the pending closure Backlog cleaning (inactive non bug-issues) label Oct 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pending closure Backlog cleaning (inactive non bug-issues)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants