Commits for 2020-08-22

The following 2 changes have been made on 2020-08-22:

- fixes, fixes (Author: Mirko De Grandis, Hash: #996838c)
- fixes (Author: Mirko De Grandis, Hash: #815c88a)

Check it out. More are coming soon!