One user on my forum complained that he receives notifications for replies in discussions that he follows even when a user that is ignored posts in the discussion. I guess that would be easy to fix?
Are you referring to this extension? https://discuss.flarum.org/d/20681-friendsofflarum-ignore-users
It should probably be fixed in the extension if so.
clarkwinkelmann indeed, sorry about that, totally forgot it was an extension and not the core functionality. Posted on the extension discussion.