Commits for 2020-08-19

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

- fix that static variable type check (Author: Mirko De Grandis, Hash: #013e82f)

Check it out. More are coming soon!