Completed
Pull Request — master (#374)
by
unknown
07:39
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.25
▶   ± 0
Head
Julien Dubois  
Merge 1cbb96df5580d1ae1c89671942191b0826fc5717 into 3edafd99b204b99626255c0eb935c0273519059e
5 more commits
Base
Pieter Frenssen  
The user is anonymous if the session has not yet been started. (#385)