fix rounded notifs (#9374)
authored by samuel.fm and committed by GitHub 4 months ago 59ffaa8a a275e899