On Thu, Sep 28, 2017 at 02:32:38PM +0200, Beniamino Galvani wrote: > I've pushed the patches (with changes suggested by Thomas) to git > master: > > https://cgit.freedesktop.org/NetworkManager/NetworkManager/commit/?id=c9edd222c56cc2ecf55bba64012798c99252f64a
Thanks Beniamino, roughly two days from my bug report to your fix arriving in the master branch - that's really great. :) Best regards Ulrich -- Pengutronix e.K. | | Industrial Linux Solutions | http://www.pengutronix.de/ | Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | _______________________________________________ networkmanager-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/networkmanager-list
