Merge pull request #1343 from whitequark/diamond-ffs
authorDavid Shah <dave@ds0.me>
Fri, 30 Aug 2019 12:28:21 +0000 (13:28 +0100)
committerGitHub <noreply@github.com>
Fri, 30 Aug 2019 12:28:21 +0000 (13:28 +0100)
Add/update every Diamond FF primitive


Trivial merge