Skip to content

Fix 'is_merged' not being available on the Issue#3843

Merged
arkid15r merged 2 commits into
mainfrom
fix-accessing-issues-page
Feb 8, 2026
Merged

Fix 'is_merged' not being available on the Issue#3843
arkid15r merged 2 commits into
mainfrom
fix-accessing-issues-page