Domen Kožar 13e2cf25a1 Don't try to push store paths that were GCed ... Previously we'd only push unique paths before/after the job, but that's not good enough because someone might run garbage collection. Now we only push unique store paths that are in the list of when the job finished.		2020-05-12 10:50:05 +02:00
..
main	Don't try to push store paths that were GCed	2020-05-12 10:50:05 +02:00