Users

Win32-PingICMP is not used by other distributions.