v.6.12.07

Note Nov 30, 2022 15:00 CET:
small bugs had persisted in the installation scripts on this site and the Supplementary site.
PLease make sure to download the latest version of the "bbb_install*" files for your operating system with dates Dec. 1, 2022 after 09:00 CET

Minor update

GENERAL Improved the installation scripts regarding a resolve issue with github.com. Many domain name servers seem to
have obsolete IP addresses stored for github.com
Make sure to remove old versions of the installation scrips "bbb_install*.*"

DISCUS
powder/output Removed a debug message