GitLab has been updated. More info on the new features here.
⚠️ 🤖 Ongoing distributed denial of service attack on Gitlab >> A Status Update << 🤖 ⚠️
Fix cosmetic issues in toyctm (linelength, trailing space etc.)