GitLab has been updated. More info on the new features here.
Version 0.2 with optimized Synthesis/Aanalysis
