On Mon, May 15, 2017 at 01:49:53PM +0200, Ladislav Michl wrote:
> On Mon, May 15, 2017 at 10:57:35AM +0200, Michael Olbrich wrote:
> > On Thu, May 11, 2017 at 08:54:41PM +0200, Robert Schwebel wrote:
> > > NetworkManager 1.8 has a bunch of new functionality; for details, see
> > >
On Mon, May 15, 2017 at 10:57:35AM +0200, Michael Olbrich wrote:
> On Thu, May 11, 2017 at 08:54:41PM +0200, Robert Schwebel wrote:
> > NetworkManager 1.8 has a bunch of new functionality; for details, see
> > https://blogs.gnome.org/lkundrak/2017/05/10/networkmanager-1-8-whats-new/
> >
> > For