tree e086195231ceb969e673b497eb1e3c186d628352
parent 18b3ed16c0005f5936ac1bfaa2bb9cbd018f7da5
author Alessandro Ghedini <alessandro@ghedini.me> 1612531998 +0000
committer Alessandro Ghedini <alessandro@ghedini.me> 1612548246 +0000

enable 'ffi' feature in docs / scripts that need it

Fixes #841.