[arch-mirrors] Mirror retirement: mirror.js-webcoding.de

23 Nov 2017

      Hello,

the mirror "mirror.js-webcoding.de" will be retired on Dec. 2 2017 -
please remove the mirror from the mirrorlist.

-- 
Mit freundlichem Gruß / Sincerely
Johannes Schleifenbaum