Download patch
ref: 22615cecc5b878ff92f882f34dd0f21e7d0489b9 parent: 93ed0ed19ce615f99a36062cd2133e8ee2e75cc1 author: Rangi <remy.oukaour+rangi42@gmail.com> date: Fri Apr 17 06:52:59 EDT 2020
More miscellaneous fixes (see #709)