On Thu, 23 Nov 2023 at 10:09, Iain Sandoe wrote:
>
> Hi Christophe.
>
> > On 23 Nov 2023, at 09:02, Christophe Lyon
> > wrote:
> >
> > Hi Iain,
> >
> > On Mon, 6 Nov 2023 at 11:58, Richard Sandiford
> > wrote:
> >>
> >> Iain Sandoe writes:
> >>> Hi Richard,
> >>>
> On 5 Nov 2023, at 12:11
Hi Christophe.
> On 23 Nov 2023, at 09:02, Christophe Lyon wrote:
>
> Hi Iain,
>
> On Mon, 6 Nov 2023 at 11:58, Richard Sandiford
> wrote:
>>
>> Iain Sandoe writes:
>>> Hi Richard,
>>>
On 5 Nov 2023, at 12:11, Richard Sandiford
wrote:
Iain Sandoe writes:
>>>
>>
Hi Iain,
On Mon, 6 Nov 2023 at 11:58, Richard Sandiford
wrote:
>
> Iain Sandoe writes:
> > Hi Richard,
> >
> >> On 5 Nov 2023, at 12:11, Richard Sandiford
> >> wrote:
> >>
> >> Iain Sandoe writes:
> >
> On 26 Oct 2023, at 21:00, Iain Sandoe wrote:
> >>>
> > On 26 Oct 2023, at 20:49,
Iain Sandoe writes:
> Hi Richard,
>
>> On 5 Nov 2023, at 12:11, Richard Sandiford wrote:
>>
>> Iain Sandoe writes:
>
On 26 Oct 2023, at 21:00, Iain Sandoe wrote:
>>>
> On 26 Oct 2023, at 20:49, Richard Sandiford
>>> wrote:
>
> Iain Sandoe writes:
>> This was written be
Hi Richard,
> On 5 Nov 2023, at 12:11, Richard Sandiford wrote:
>
> Iain Sandoe writes:
>>> On 26 Oct 2023, at 21:00, Iain Sandoe wrote:
>>
On 26 Oct 2023, at 20:49, Richard Sandiford
>> wrote:
Iain Sandoe writes:
> This was written before Thomas' modification to the EL
Iain Sandoe writes:
> Hi Richard,
>
>> On 26 Oct 2023, at 21:00, Iain Sandoe wrote:
>
>>> On 26 Oct 2023, at 20:49, Richard Sandiford
> wrote:
>>>
>>> Iain Sandoe writes:
This was written before Thomas' modification to the ELF-handling to allow
a config-based change for target details
On Fri, Oct 27, 2023 at 4:00 AM Iain Sandoe wrote:
>
> Hi Richard,
>
> > On 26 Oct 2023, at 21:00, Iain Sandoe wrote:
>
> >> On 26 Oct 2023, at 20:49, Richard Sandiford
> >> wrote:
> >>
> >> Iain Sandoe writes:
> >>> This was written before Thomas' modification to the ELF-handling to allow
> >
Hi Richard,
> On 26 Oct 2023, at 21:00, Iain Sandoe wrote:
>> On 26 Oct 2023, at 20:49, Richard Sandiford
>> wrote:
>>
>> Iain Sandoe writes:
>>> This was written before Thomas' modification to the ELF-handling to allow
>>> a config-based change for target details. I did consider updating t
Hi Richard,
> On 26 Oct 2023, at 20:49, Richard Sandiford wrote:
>
> Iain Sandoe writes:
>> This was written before Thomas' modification to the ELF-handling to allow
>> a config-based change for target details. I did consider updating this
>> to try and use that scheme, but I think that it wou
Iain Sandoe writes:
> This was written before Thomas' modification to the ELF-handling to allow
> a config-based change for target details. I did consider updating this
> to try and use that scheme, but I think that it would sit a little
> awkwardly, since there are some differences in the start-
10 matches
Mail list logo