19.3.2 released on 2019-05-16

[gregober]

* Network & VPN page: updated looks of refresh widget
* Added detecting broken connection during OS update.
* Misc global performance enhancement