On 09/12/2023 15:12, Sam James wrote:
> 
> "Luke A. Guest" <laguest@archeia.com> writes:
> 
>> Hi,
>>
>> Can we add the following patch to the toolchain.eclass? I want to stop
>> having to mess with this overlay. The diff can be generated by
>> grabbing the repo https://github.com/Lucretia/ada-overlay and running
>> ./scripts/diff_eclass.sh.
> 
> It'd be useful to send the whole lot with `git send-email` as proper
> patches which could be `git am`'d.

This is the best I can do rn.