I do my updates manually and had spotted this problem on this forum before doing my daily update this am.
I have therefore not updated to the faulty vps-091203.0
Should I update to vps-091203.1…if I do that update will it attempt to fix a problem that does not exist for me ?