Merge "Fix initialization of procState counters after a failed readSummary" into main