Commits for 2020-10-02

The following 1 changes have been made on 2020-10-02:

- fixes (Author: Mirko De Grandis, Hash: #cc37ffc)

Check it out. More are coming soon!