Skip to content

Restore 64bits pointers inRESTORE procedure. Solves #1545#1550

Merged
GillesDuvert merged 2 commits intognudatalanguage:masterfrom
GillesDuvert:restore_64bits_pointers
Mar 16, 2023