Merge "hash_equals(): Avoid division by zero when $known_string is empty"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Oct 2014 06:49:20 +0000 (06:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Oct 2014 06:49:20 +0000 (06:49 +0000)
commit02d80d695829a0e803446ec151893de14a893540
tree2ad0d5027c6163c6ec70bbf244318c598fbbb1d1
parent59efe377309243567f3a05b2d8dc016cc442eb7d
parent4620e3b862568d76661e86857779795f4f974e13
Merge "hash_equals(): Avoid division by zero when $known_string is empty"