Still running NetworkManager-1.12.2-1.2 on snapshot 20181009. After disabling conn check as described in https://bugzilla.gnome.org/show_bug.cgi?id=797136#c1 the core-dumps of networkmanager don't happen anymore or me.