Passed
Push — v8 ( 0fb5ac )
by
unknown
02:13
created

No notable changes

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

9.22
▶   ± 0
Head
Amir Sarabadani  
Release version 8.0.0
Base
Daniel Kinzler  
Merge pull request #753 from wmde/no_int