Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.
It is not strictly required to remove packaging for an older distro, could be people still using it in internal network and still be fine with it. Of course, if @sergey-safarov wants to remove it, that's fine, he spends time for packaging and can consider it's not worth doing it.
On the other hand, the commit message does not follow the guidelines:
So the PR cannot be merged as it is from web interface.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.