Closed pjotrp closed 11 years ago
This is actually a duplicate of the github authentication issue
Follows #37
Fixed by Marjan
This is actually a duplicate of the github authentication issue