rock-core/autoproj — pull request #31 by doudou (2014-12-01 19:53:05+00:00)
Title: Bugfixes

Misc bugfixes, would become 1.12.5