> On Jul 3, 2023, at 15:45, Luca Fancellu wrote:
>
>
>
>> On 3 Jul 2023, at 18:48, Stefano Stabellini wrote:
>>
>>> On Mon, 3 Jul 2023, Daniel P. Smith wrote:
>>> On 7/1/23 11:13, Luca Fancellu wrote:
> On 1 Jul 2023, at 08:53, Andrew Cooper wrote:
>
> On 30/06/2023 10:12
On Oct 11, 2019, at 07:11, Lars Kurth wrote:
>
> On 11/10/2019, 02:24, "Stefano Stabellini" wrote:
>
>>On Thu, 10 Oct 2019, Lars Kurth wrote:
>> * Would we ever include API docs generated from GPLv2 code? E.g. for safety
>> use-cases?
>> @Stefano, @Artem: I guess this one is for you.
>>
> On Jun 25, 2019, at 12:34, Lars Kurth wrote:
>
>
>
> On 25/06/2019, 14:47, "Andrew Cooper" wrote:
>
>>On 25/06/2019 13:15, Lars Kurth wrote:
>> On 25/06/2019, 10:03, "Julien Grall" wrote:
>>
> The point here is that we can be flexible and creative about the way to
>
On Feb 19, 2019, at 14:13, Stefano Stabellini wrote:
>
>> On Mon, 18 Feb 2019, Lars Kurth wrote:
>> On 18 Feb 2019, at 12:16, George Dunlap
>> wrote:
>>
>> On 2/18/19 12:11 PM, George Dunlap wrote:
>> On 2/18/19 12:01 PM, Andrew Cooper wrote:
>>On 18/02/2019 11:57, Wei