Denis HUGONNARD-ROCHE - 2025-01-22

Hi Simon
Here are the patchs that solve all the 4 tickets .

Regarding the question you sent to me 'it seems you did not commit your changes from yesterday as all of your "done" notes are unchanged. Can you please recheck?" , i am not sure to understand ... :-)
What i have done as i had issue with my git repo and the PR :
i checkout the last version of GC 3.x and then i applied my changes and generates the patch , so i did not used the git repo .

Denis

 
intrinsic.c.patch
run_fundamental.at.patch