Re: [opensuse-buildservice] [PATCH] [build] Map Debian ARM arches to OBS