This repository has been archived on 2023-03-18. You can view files and clone it, but cannot push or open issues or pull requests.

Joffrey JAFFEUX d127d2acdf FIX: allows to change sound when no sound was ever set (#19136) ... It fixes a bug which was only allowing users with a sound to change it. Users with `none` could not change it again after a full page reset.		2022-11-22 08:57:06 +01:00
..
javascripts	FIX: allows to change sound when no sound was ever set (#19136)	2022-11-22 08:57:06 +01:00