Re: [yast-devel] devtools problem