Time a build with the reduced cache

This commit is contained in:
AnyOldName3 2020-07-12 22:38:48 +01:00
parent 5934a9d145
commit 7676a36b32