Skip to content

rts: only collect live words in nonmoving census when non-concurrent

Teo Camarasu requested to merge wip/T24393 into master

I think this should fix #24393 (closed).

It would be good if @bgamari could take a look to make sure if this is right.

Merge request reports