upstream/1.3.5.0

Pierre-Elliott Bécue

@peb

8a331fde · New upstream version 1.3.5 · Oct 23, 2021

Fake tag to handle version screwups (see d/changelog on march the 31st of 2022)