Completed
Push — master ( 68667e...379166 )
by Leszek
03:43 queued 58s
created

No notable changes

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

9.19
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Leszek Manicki  
Merge pull request #717 from wmde/fingerprint
1 more commit
Base
Daniel Kinzler  
Don't use numeric IDs for internal PHP serialization. (#716)