Fix Update Manager's branding for determining the distro flavor name
This patch fixes issue http://trisquel.info/en/issues/12545. Feedback would be appreciated.
This patch fixes issue http://trisquel.info/en/issues/12545. Feedback would be appreciated.