anchors 2/n: Fix three sticky-header bugs#1312
Merged
gnprice merged 13 commits intozulip:mainfrom Feb 7, 2025
Merged
Commits
Commits on Feb 7, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
