Hi, 2018-05-03 19:30 GMT+02:00 Thomas Goirand <z...@debian.org>: > > I've archived the repo, which is the procedure in the team when > something goes away (at least, that's what I've been doing so far, and > unless Ondrej or others prefers something else?). >
archive is fine, thanks. -- Best regards Ondřej Nový Email: n...@ondrej.org PGP: 3D98 3C52 EB85 980C 46A5 6090 3573 1255 9D1E 064B
