ericvaandering / DocDB

Working repository for DocDB
25 stars 20 forks source link

Apply parts of missed commit from 2012 #94

Closed ericvaandering closed 6 years ago

ericvaandering commented 6 years ago

Fixes #91