Revision 5ffe7db6c80f441f150fc88008d64e64af66634b

Committed on 11/12/2020 1:59 am by fzaninotto <fzaninotto@gmail.com> [GitHub Diff]

Merge tag 'v1.9.2'