Commit a8cd560b10149208aabcfe515b2e1b6c5be6388f

Patrick Steinhardt 2017-01-25T14:41:17

khash: avoid using `kh_del` directly