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 Sep 6 2023, 2:57 PM - Parents
- R113:d379dc897a1d: small fix for current group detection and add similar rules for group-delete
R113:13b98199ed4d: Managesieve: Fix parser issue with empty lines between comments (#5657) - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes