Florian Müllner fe83cd91bb cleanup: Use rest parameters instead of arguments ...

Spotted by eslint.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/607

2019-07-01 23:44:10 +02:00

..

main.js

cleanup: Use rest parameters instead of arguments

2019-07-01 23:44:10 +02:00