La fonctionnalité "Pages custom domain" uniquement en ".univ-grenoble-alpes.fr" est disponible. Je vous invite à consulter https://docs.gricad-pages.univ-grenoble-alpes.fr/help/tutos/custom_domain/
* objcopy.c (filter_symbols): Correct relocatable file test.
