[Users] Changing the name of an account

[Colin Leroy]

On Thu, 18 Jan 2018 11:39:26 +0100, Tristan Miller
<psychonaut at nothingisreal.com> wrote:

> For
> the same (IMAP) account, renaming the account updates the mailbox
> names mentioned in the filters but not in the actions.  Is this by
> design or is this a bug?

For "shell commands" actions, that's by design. For "filter actions"
actions, if renaming doesn't happen, that may well be a bug.

-- 
Colin