[foreign] RFR 8220544: Jextract; library dependent header filtering

[Maurizio Cimadamore]

On 15/03/2019 00:03, Jorn Vernee wrote:
> but 5 tests are failing with symbol lookup errors. It seems to be a 
> problem with the default library.

Yes, I realized that as I was driving home :-)

Maurizio