Revision 27a216cbe72327b2d6369fab721a5843be71e57d

Committed on 14/11/2019 5:13 am by fzaninotto <fzaninotto@gmail.com> [GitHub Diff]

Bump version to 1.9