chore: record closure of obsolete PR #3 in changelog#12

lsm wants to merge 1 commit into

mainlsm/fiso:mainfrom

task/evaluate-and-likely-close-obsolete-pr-3lsm/fiso:task/evaluate-and-likely-close-obsolete-pr-3Copy head branch name to clipboard