Commit 8f6f9d05 authored by Giuseppe Carboni's avatar Giuseppe Carboni Committed by GitHub
Browse files

Merge pull request #304 from discos/stable 

Merging latest hotfix onto master.
parents 317877cd 89cd9f5a

There are no changes