Bug#1042889: Debian PR #1042889

2023-08-10 Thread Ian Jackson
Hi. Kurt Hornik writes ("Debian PR #1042889"): > Have you seen > > ? No. > This points to a branch of VM at > > which apparently at some point in time passed native compilation (I >

Bug#1042889: Debian PR #1042889

2023-08-10 Thread Kurt Hornik
Ian/Dirk, Have you seen ? This points to a branch of VM at which apparently at some point in time passed native compilation (I never got a chance to try to far). I can try to follow