fix: restore trailing whitespace of nested tactic blocks in the info tree - #15093

fix: restore trailing whitespace of nested tactic blocks in the info tree#15093

Kha merged 1 commit into

masterleanprover/lean4:masterfrom

info-tree-add-trailingleanprover/lean4:info-tree-add-trailingCopy head branch name to clipboard