Completed
Pull Request — master (#702)
by no
14:32 queued 11:16
created
9.18
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Jeroen De Dauw  
Merge 4cca1e5ee2f0cc624b00d0eabaf19a931e613b03 into 379166d1e2598d43aedd7620492ae84794807cfe
1 more commit
Base
Leszek Manicki  
Merge pull request #717 from wmde/fingerprint