Merge pull request #365 from jacklul/botan_and_misc
Botan improvements and misc fixes
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Dec 30 2016, 5:10 AM GitHub Committed on Dec 30 2016, 5:10 AM - Parents
- R123:a5189471707e: Small changes!
R123:1c54e2c0e3ea: Release 0.38.1 - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes