Could someone please confirm that a muted feed (with a muted speaker icon) gets updated via cli/actualize-user.php?

In my case, version 1.9.1-dev (e70d441), this happens. I am not sure whether this happens when actualizing feeds via web interface.