Re: link-time optimization support

2025-01-13 Thread Kim Barrett
On 1/13/25 5:31 AM, Julian Waters wrote: I think it might be worthwhile to pursue later on, rather than now, when everyone is just coming back from the new year's celebrations and probably have a lot of other work to deal with. Just in case I misunderstood you, by Project do you just mean setting

Re: link-time optimization support

2025-01-13 Thread Julian Waters
I think it might be worthwhile to pursue later on, rather than now, when everyone is just coming back from the new year's celebrations and probably have a lot of other work to deal with. Just in case I misunderstood you, by Project do you just mean setting some time aside at a later date to work on