Completed
Push — main ( 33cfad...f9cf94 )
by Niels
17s queued 15s
created

No notable changes

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

9.93
▶   ± 0
Head
Niels Nijens  
Merge pull request #82 from niels-nijens/improve-event-priority
1 more commit
Base
Niels Nijens  
Merge pull request #81 from niels-nijens/prepare-release-1.5