[yast-commit] [yast/yast-proxy] f511b3: Merge branch 'SLE-12-SP3' into remove-spaces-15