Commits for 2020-12-15

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

- a big code review (Author: Mirko De Grandis, Hash: #9366e8e)

Check it out. More are coming soon!