Merge branch 'master' into 'peter'
# Conflicts: # downloadversionIRdata.py
setup.py
0 → 100644
Please register or sign in to comment
On Thursday, 2nd February from 9 to 10.00 am there will be a maintenance with a short downtime of the GitLab service.
# Conflicts: # downloadversionIRdata.py