Merge branch 'dev/elastic'
Description
Description
Details
Details
- Provenance
machniak Authored on May 5 2019, 5:46 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:00ef5d05ef4f: Merge branch 'master' into dev/elastic
R3:f76d9e0c0986: Small fix - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 68f4566b0f40 Get rid of widgets/mail.lessAuthor
- a75ad5e9b155 Elastic: Remove redundant stylesAuthor
- 96df04b020d8 Elastic: Small spacing fixAuthor
- e8ff18962764 Use simpler codeAuthor
- 77439f9772bc Add missing role=menuitemAuthor