Build #2 (Nov 5, 2023, 8:45:15 PM)

1. Add a rule priorizing the 'general' tab (details / githubweb)
2. Add example how to define tab and group annotations (details / githubweb)
3. Enhance the 'Tabs and Groups' example (details / githubweb)
4. Fix broken link (#4211) (details / githubweb)

Pull request #4216 updated at 8:45:00 PM on Nov 5, 2023

• PR-4216