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
fix typo
Merge branch '12-contributed' into 13
include OPENMP in helpers Windows make
Merge branch '12-windows-fixes' into 13