-
Christophe Geuzaine authored
use gcc 6.5 for now for the official linux builds (instead of gcc 10), in order to improve compatibility with older linux systems
c7544ec8
use gcc 6.5 for now for the official linux builds (instead of gcc 10), in order to improve compatibility with older linux systems