3D mouse stopped working after 2018-05-15 update

No, you need to install an updated 3dconnexion driver: