Subject: old gitorious repo is now also marked as obsolete

From: Gaute Hope <[email-masked]>
Date: Mon, 14 Apr 2014 19:37:15 +0200

Hi fellow suppers,

William has just helped us out with labeling the old gitorious
repository for sup as obsolete.

- gaute