[Users] Changing the name of an account

[Colin Leroy]

On Thu, 18 Jan 2018 11:42:25 +0100, Colin Leroy <colin at colino.net>
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.

Although I just tried, and renaming is done for "filter actions"
actions (%as{...})

-- 
Colin