[Users] Changing the name of an account
Tristan Miller
psychonaut at nothingisreal.com
Thu Jan 18 11:48:20 CET 2018
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/
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
More information about the Users
mailing list