yast/yast-yast2 — pull request #117 by jreidinger (2013-10-15 11:57:42+00:00)
Title: Fix build

related fix in devtools are in https://github.com/yast/yast-devtools/pull/38