Fix displaying error messages without timeout
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Jul 9 2014, 7:47 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:8f3bd30e54d4: Fix some jquery UI styles to match the Larry skin
- Branches
- Unknown
- Tags