[packman] packman/suse/openSUSE_Tumbleweed/packman.repo still points to packman.inode.at

[Felix Miata]

<http://ftp.gwdg.de/pub/linux/misc/packman/suse/openSUSE_Tumbleweed/packman.repo>
File contains:
[packman]
name=Packman repository (openSUSE_Tumbleweed)
enabled=1
autorefresh=0
baseurl=http://packman.inode.at/suse/openSUSE_Tumbleweed
type=rpm-md
gpgcheck=1
gpgkey=http://packman.inode.at/suse/openSUSE_Tumbleweed/repodata/repomd.xml.key
keeppackages=0

Is this mere oversight? When did packman.inode.at actually become obsolete[1]?

[1] according to <https://forums.opensuse.org/t/metadata-history/186315/4>
-- 
Evolution as taught in public schools is, like religion,
	based on faith, not based on science.

 Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!

Felix Miata