tree 9a0adee5000c90f784cbefaafe086b19112e7213
parent 6fc099108e01ff051d22db482a13c18b711901c1
author Alessandro Ghedini <alessandro@ghedini.me> 1618313001 +0100
committer Alessandro Ghedini <alessandro@ghedini.me> 1618313007 +0100

ffi: fix build error from manual merge

I merged 8736dbec manually and accidentally broken the build.