Passed
Pull Request — master (#78)
by Stefano
02:10 queued 14s
created

Configuration has changed

The configuration has changed since Scrutinizer has last run. This page might contain changes that are not related to code modifications.

No notable changes

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

9.73
▶   ± 0
Head
Stefano Gabryel  
Merge cc89ec4806b6f84f85e9f6b5abc44450859d1066 into e753738762c459964ceefc1611f91b0a854b031d
4 more commits
Base
Stefano Gabryel  
Improving how SIGINT is handled to speed up shut down