[yast-devel] patch for yast2-devtools