Slightly increase task menu width to better fit labels in other languages
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Jan 14 2019, 8:55 PM mollekopf Pushed on Sep 6 2023, 2:57 PM - Parents
- R113:823dc2eaacc5: Fix PHP 7.2 compatibility in debug_logger plugin (#6586)
- Branches
- Unknown
- Tags