Merge pull request #5658 from JohnDoh/group-rename
small amendment to #5652
Description
Description
Details
Details
- Provenance
machniak Authored on Feb 20 2017, 7:57 PM GitHub Committed on Feb 20 2017, 7:57 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:d379dc897a1d: small fix for current group detection and add similar rules for group-delete
R3:13b98199ed4d: Managesieve: Fix parser issue with empty lines between comments (#5657) - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes