Completed
Pull Request — master (#2709)
by
unknown
46:42 queued 15:45
created

No notable changes

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

8.38
▶   ± 0
Head
curder  
Merge 8e772de60562911a814be40419771b18d62506f7 into 78ccc88c08c8f5ddce5c6cc2e773f5d9897e750c
1 more commit
Base
Song  
Merge pull request #2693 from marzochi/disableTools