[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Ocaml (was: Merging core-updates?)
|
From: |
Andreas Enge |
|
Subject: |
Re: Ocaml (was: Merging core-updates?) |
|
Date: |
Sat, 18 Feb 2023 12:38:55 +0100 |
Am Sat, Feb 18, 2023 at 12:03:31PM +0100 schrieb Andreas Enge:
> this looks exactly like the line that posed problems for openjdk.
> Maybe there is a patch? Could someone familiar with ocaml have a look?
It looks like this:
https://github.com/ocaml/ocaml/pull/10266
Andreas
- Re: Openjdk (was: Merging core-updates?), (continued)
- Re: Openjdk (was: Merging core-updates?), Andreas Enge, 2023/02/17
- Re: Openjdk (was: Merging core-updates?), Andreas Enge, 2023/02/17
- Re: Openjdk (was: Merging core-updates?), Andreas Enge, 2023/02/17
- Re: Openjdk (was: Merging core-updates?), Kaelyn, 2023/02/17
- Re: Openjdk (was: Merging core-updates?), Andreas Enge, 2023/02/18
- Re: Merging core-updates?, Maxime Devos, 2023/02/16
- Re: Merging core-updates?, Andreas Enge, 2023/02/16
Ocaml (was: Merging core-updates?), Andreas Enge, 2023/02/18
Python (was: Merging core-updates?), Andreas Enge, 2023/02/19
Re: Python (was: Merging core-updates?), Andreas Enge, 2023/02/19