Passed
Push — master ( e5dcef...e939ad )
by Michael
08:20 queued 15s
created

Changes

1 issue (minor) was introduced.
5.87
▶   ± 0
Head
Michael Beck  
Merge pull request #1511 from koreus/session
3 more commits
Base
Koreus  
Merge 20b746fd8ebe0944cdc3d1dfbf110d401e845e6d into cd5b2deadd7e9e7fd534905bdd5e7f6c4c8cc8fd