Merge branch '00-copyright' into 12-contributed
Merge branch '00-copyright' into 12-windows-fixes
Merge branch '02-cons-with-tag' into 12-contributed
Merge branch '02-cons-with-tag' into 12-windows-fixes
bug fix in DeleteListElementsSeq
fix typo
Merge branch '12-contributed' into 13-subassign2
include OPENMP in helpers Windows make
Merge branch '12-windows-fixes' into 13-subassign2
get rid of unused variables