Bug#993201: fixed in upstream pull request

[Christian Lauinger]

I fixed it and created a pull request upstream:
https://gitlab.com/bertoldia/gnome-shell-trash-extension/-/merge_requests/23