Bring back clobbered hide-prev-commentds fix#1107

Merged

lkysow merged 1 commit intorunatlantis:masterfrom grimm26:hide-comments

Jul 9, 2020

+3-3

Commits on Jul 9, 2020

Bring back the change from
grimm26
committed