Commits for 2020-07-16

The following 1 changes have been made on 2020-07-16:

- a "use" was missing (Author: Mirko De Grandis, Hash: #dc0b7b6)

Check it out. More are coming soon!