Allow package build systems to detect GAP version by inserting GAP_VERSION
into sysinfo.gap
#3746
Merged
ChrisJefferson merged 1 commit intogap-system:masterfrom fingolfin:mh/sysinfo-versionNov 19, 2019
+1
GAP_VERSION
into sysinfo.gap
#3746