Thomas D. added the comment: Yep, I agree with you. This can be closed.
Thanks to your clarification the problem could be resolved upstream. The udev problem was resolved in https://github.com/systemd/systemd/issues/190 and the PHP problem has a pending PR https://github.com/php/php-src/pull/1432 ---------- status: pending -> closed _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue23213> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
