Skip to content

Add troubleshooting note for ProofKit 2.04 add-on issue - #265

Merged
toddgeist merged 1 commit into
mainfrom
add-troubleshooting-doc
May 15, 2026
Merged

Add troubleshooting note for ProofKit 2.04 add-on issue#265
toddgeist merged 1 commit into
mainfrom
add-troubleshooting-doc

docs: add FM access privileges troubleshooting section; gate PostHog …

ca0973a
Select commit
Loading
Failed to load commit list.