to merge
Merge branch 'db' of https://github.com/danielwpz/typing into db