Merge pull request #6273 from kit-ty-kate/no-avoid-version-upgrade #4053

Job	Run time
Analyse	6s
Cygwin	4s
Build-Linux (4.08.1)	2m 36s
Build-Linux (4.09.1)	2m 30s
Hygiene	16s
Build-macOS (4.14.2)	3m 39s
Build-Linux (4.10.2)	2m 22s
Test-macOS (4.14.2)	25m 30s
Build-macOS (5.3.0)	4m 4s
Test-macOS (5.3.0)	28m 15s
Build-Linux (4.11.2)	2m 22s
Build-Linux (4.12.1)	2m 43s
Build-Linux (4.13.1)	2m 43s
Build-Linux (5.0.0)	2m 48s
Build-Linux (5.1.1)	2m 17s
Build-Linux (5.2.1)	2m 22s
Build-Linux (4.14.2)	2m 25s
Build-Linux (5.3.0)	3m 49s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	36m 43s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	41m 35s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	41m 59s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	44m 5s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	45m 23s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.3.0)	43m 19s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 5.3.0)	41m 45s
Cold-Linux	5m 14s
Doc-Linux (4.14.2)	1m 55s
Test-Linux (4.14.2)	10m 53s
Doc-Linux (5.3.0)	1m 16s
Solvers-Linux (z3, 4.14.2)	58s
Upgrade-Linux (4.14.2)	1m 26s
Test-Linux (5.3.0)	8m 57s
Solvers-Linux (z3, 5.3.0)	1m 2s
Upgrade-Linux (5.3.0)	1m 18s
Solvers-Linux (0install, 4.14.2)	1m 30s
Solvers-Linux (0install, 5.3.0)	1m 37s
Upgrade-macOS (4.14.2)	2m 13s
Upgrade-macOS (5.3.0)	1m 46s
Solvers-macOS (z3, 4.14.2)	1m 24s
Solvers-macOS (z3, 5.3.0)	1m 19s
Solvers-macOS (0install, 4.14.2)	1m 12s
Solvers-macOS (0install, 5.3.0)	1m 40s
	7h 11m 20s

Provide feedback