Merge branch 'v0.8.4' into 'master'
Added specific cache header for gui resources. See merge request !140
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.
Added specific cache header for gui resources. See merge request !140