[scripts-greasemonkey] minor fix

This commit is contained in:
Jesús
2019-10-11 19:39:28 -05:00
parent 3cb7445ff8
commit 7c335480db