-Sat Oct 19, 2019: Released Check 0.13.0
- based on hash 0b80af232b9d899f876faf3930093d0a3b19f378
+Sat Oct 20, 2019: Released Check 0.13.0
+ based on hash 2b18886a9a9d3bab44917a550d12128ad7e2c197
* configure: optional build documentation
Issue #206 (GitHub)