Merge pull request #817 from eddiehung/dff_init
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 01:26:56 +0000 (17:26 -0800)
committerGitHub <noreply@github.com>
Thu, 21 Feb 2019 01:26:56 +0000 (17:26 -0800)
Cleanup #805


Trivial merge