ChicagoBoss/boss_db — pull request #206 by davidw (2014-12-01 15:32:35+00:00)
Title: Separate delete from delete_counter

Using delete for two different things - deleting records and deleting
keys from the counter table - was causing problems like:

https://github.com/ChicagoBoss/boss_db/issues/135

This commit introduces a delete_counter that only deletes keys from
the counter. The delete function only deletes records.

Fixes #135