Subject: corrected in www.devuan.org

From: KatolaZ <[email-masked]>
Date: Thu, 7 Dec 2017 18:33:32 +0000

This has been corrected in www.devuan.org. See for instance:

  https://devuan.org/os/etc/apt/sources.list.d/devuan-stable-proposed-updates.list

I am closing the bug now.