Merge pull request #1715 from boqwxp/master
authorEddie Hung <eddie@fpgeh.com>
Sat, 22 Feb 2020 19:29:22 +0000 (11:29 -0800)
committerGitHub <noreply@github.com>
Sat, 22 Feb 2020 19:29:22 +0000 (11:29 -0800)
commit6edca05793197a846bbfb0329e836c87fa5aabb6
tree620d64ec90ff9e887b894a26be1b5afc2b49d409
parent760096e8d2e9e2431bd5f97034bbd4ba01326649
parent750e7a9a541676f64fc9def64e669f94fa074d28
Merge pull request #1715 from boqwxp/master

Closes #1714. Fix make failure when NDEBUG=1.