mirror of
https://github.com/revanced/revanced-patcher.git
synced 2025-05-27 20:30:13 +02:00

There is no difference semantically, but this change allows passing null as a parameter which is simpler than having to use `emptySet()`.