Completed
Push — master ( bd4977...dda927 )
by Paul
03:11 queued 56s
created

No notable changes

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

8.13
▶   ± 0
Head
Paul Sohier  
Wrong name for session helper
Base
Paul Sohier  
Do not use the user_id to set the priority.