Re: [aur-general] Deletion request: lib32-libgnutls13