K 10 svn:author V 2 wg K 8 svn:date V 27 2013-05-20T16:06:42.793242Z K 7 svn:log V 232 - Update to 0.9.12 Changes: https://github.com/pika/pika/blob/0.9.12/docs/version_history.rst PR: ports/178290 Submitted by: Matthias Petermann Approved by: culot (mentor), maintainer (timeout, > 14 days) END