Hi Vincent, On Sat, 29 Feb 2020 at 20:21, Leo Famulari <l...@famulari.name> wrote: > > On Sat, Feb 29, 2020 at 04:26:57PM +0100, Vincent Legoll wrote: > > The attached (crude, WIP, RFC) patch allowed to find the following > > packages that have unecoded space characters in their URIs: > > Can you explain a little more about these characters and why we want to > avoid them?
What do you mean by "unencoded" space characters? Because they are replaced by '%20', isn't? All the best, simon
