K 10
svn:author
V 7
zeising
K 8
svn:date
V 27
2020-07-04T21:38:31.495163Z
K 7
svn:log
V 171
lang/polyml: Fix build after libffi update

Add a patch to fix the build of lang/polyml after devel/libffi update.
This was missed in r541232.

PR:		247028 (for tracking)

END