Dirk Mueller 1c4c4fd734 Switch openSUSE to 42.3 by default ... This is the latest stable release, so we should default to it. Change-Id: I05643787002d339ccbf7a718847fe4ed6f39eacc		2017-07-26 08:56:02 +02:00
..
10-opensuse-distro-name.bash	Switch openSUSE to 42.3 by default	2017-07-26 08:56:02 +02:00