Commits for 2020-01-30

The following 2 changes have been made on 2020-01-30:

- fixes (Author: Mirko De Grandis, Hash: #e031308)
- using basics (Author: Mirko De Grandis, Hash: #a454d0e)

Check it out. More are coming soon!