On Sunday, May 20, 2018 2:57:30 PM CDT Richard Brown wrote:
On 20 May 2018 at 16:07, Jan Engelhardt <jengelh@inai.de> wrote:
If only two maintainers can fix/are willing to maybe fix meta prj https://lists.opensuse.org/opensuse-factory/2018-05/msg00151.html and both of them are unavailable, isn't it time to come up with some holiday plan at least?
Come on, openSUSE Ports are UNOFFICIAL [1]
Literally, 100% not the point. Other repos can _workaround_ this config issue by not including ports, but that is a workaround not a solution. Waste more time arguing semantics than solving this. Will likely take ~15 seconds once Monday hits and folks are in the office. -- Jimmy -- To unsubscribe, e-mail: opensuse-factory+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-factory+owner@opensuse.org