manual folding ranges: memento does not store all sources#156273

Merged

aeschli merged 2 commits intomainfrom

aeschli/fixfoldingmemento

Jul 27, 2022

Commits on Jul 26, 2022

use source: fix memento does not store all sources
aeschli
committed

Commits on Jul 27, 2022

Merge branch 'main' into aeschli/fixfoldingmemento
aeschli
authored