Merge pull request #108 from davidgiven/dtrg-warnings
authorDavid Given <dg@cowlark.com>
Sat, 23 Jun 2018 23:00:30 +0000 (01:00 +0200)
committerGitHub <noreply@github.com>
Sat, 23 Jun 2018 23:00:30 +0000 (01:00 +0200)
Warning-fix and protoise the basic library.


Trivial merge