15 Sep
2016
15 Sep
'16
7:14 p.m.
you want me to delete the last version of what exactly?
On 15 Sep 2016, at 17:42, Luís Oliveira <> wrote:
Oh, I see. Missed that bit of information, sorry. Can you delete the bad version or tweak the define-foreign-library definition to point to the right one?