<@U0B8F96DT>: The issue has already been tagged as...

# android

[brianwernick]

@vmironov: The issue has already been tagged as “normal”, there are many other urgent issues for them to resolve. If it bugs you that much, you can always fix it yourself