End coverage does nothing if no one is affected
Merge branch 'development' of https://github.com/dchbx/gluedb into development