June 13, 2019 - June 20, 2019

Overview

6 Active Pull Requests
1 Active Issue

5 Pull requests merged by 3 users

Merged
#994 pics from webathon 1 day ago

Merged
#992 Event Matthias talk in Tubingen 2 days ago

Merged
#993 invisible change to remove outdated notification 2 days ago

Merged
#991 Fix the menu 5 days ago

Merged
#989 Events by Erik 6 days ago

1 Pull request proposed by 1 user

Proposed
#995 Newsletter June pictures 16 hours ago

1 Issue closed by 1 user

Closed
#990 Top menu not working on desktop 1 day ago