Skip to content

Conversation

RubenGarcia
Copy link

No description provided.

@RubenGarcia
Copy link
Author

See also
#1163
which is complementary to my patch; both should probably be merged.

@Daniel15
Copy link
Member

I merged the other PR. Do we still need this one? The new way of doing it should work for outdated Debian and Ubuntu versions too.

@RubenGarcia
Copy link
Author

Ok, if the new way of doing things works in older distros too, this is not needed. Closing.

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