Commits for 2020-07-12

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

- fixed bug in rest pages (Author: Mirko De Grandis, Hash: #b08b508)

Check it out. More are coming soon!