Commits for 2020-10-12

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

- code reviews (Author: Mirko De Grandis, Hash: #ff276ba)

Check it out. More are coming soon!