Merged #658 into master.
--
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave/pull/658#event-7607399297
You are receiving this because you are subscribed to this thread.
Message ID:
## Description
Please include a summary of the change and which issue is fixed. Please also
include relevant motivation and context.
Fixes # (issue)
## Type of change (select or add applied and delete the others)
- [ ] Bug fix (non-breaking change which fixes an issue)
- [ ] New feature
