gwdg/rOCCI-core — pull request #54 by sustr4 (2013-11-13 13:42:16+00:00)
Title: Specupdate XII

Specs for certain core modules, fixes for bugs identified on the way.