Commits for 2020-10-08

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

- fixes & code reviews (Author: Mirko De Grandis, Hash: #ebe8eff)

Check it out. More are coming soon!