[Users] Changing the name of an account

[Tristan Miller]

Greetings.

On Thu, 18 Jan 2018 11:42:25 +0100, Colin Leroy
<colin at colino.net> wrote:
> For "shell commands" actions, that's by design. For "filter actions"
> actions, if renaming doesn't happen, that may well be a bug.

Yes, I'm talking about filter actions.  I'll post a bug report then.

Regards,
Tristan

-- 
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
                  Tristan Miller
Free Software developer, ferret herder, logologist
             https://logological.org/
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-