chore: [CLOSED - NO MERGE] record closure of obsolete PR #3 in changelog#11

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