fix: make tactic .. at * save info contexts#12607

kmill merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

kmill:kmill_fix_10898kmill/lean4:kmill_fix_10898Copy head branch name to clipboard