v5.5.2
Add generic proof support to assertion language (#13624)
Refactor trace to take a pointer to an error instead of a closure (#23779)
git: load metadata via FTL (#22779)
HOTPOT-31 separate keybase1.Folder into Folder and FolderHandle
more logging!
git: de-linting
API#Post requires a metacontext (#16480)
libkb: don't clear secret store on oneshot logout (#19816)
Make missing channel name error non-fatal (#23925)