tree d175a3589ea55bcf009c75e92360bb49afeabc9b
parent 74e6fbab82b9a8ddc09bc24c57f4795c4d2fcc49
author David Carlier <devnexen@gmail.com> 1589834667 +0100
committer David Carlier <devnexen@gmail.com> 1589834667 +0100

Build fix proposal mainly for Android which did not bother
implementing this dinosaur.