Merge branch 'mr/opt-set-ptr'

diff --git a/.gitignore b/.gitignore
index b5f9defed37c43b2c6075d7065c8cbae2b1797e1..dc600f9b36d09f0668064e044520c7ce633f09d8 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -182,6 +182,7 @@
 /test-dump-cache-tree
 /test-scrap-cache-tree
 /test-genrandom
+/test-hashmap
 /test-index-version
 /test-line-buffer
 /test-match-trees