Clone
Lóránt Pintér
committed
on 30 Jul
Maintain history if and only if an execution history store is available