Merge pull request #5105 from nteodosio/master
authorClaudio Cambra <claudio.cambra@gmail.com>
Sat, 29 Oct 2022 13:44:21 +0000 (15:44 +0200)
committerGitHub <noreply@github.com>
Sat, 29 Oct 2022 13:44:21 +0000 (15:44 +0200)
Fix compatibility with newer python3-nautilus


Trivial merge