Am Fr., 5. Juli 2019 um 23:29 Uhr schrieb Earnestly via pacman-dev
<[email protected]>:
>
> On Fri, Jul 05, 2019 at 11:09:09PM +0200, Mario Blättermann wrote:
> > readers think that the extension is hard coded to »gz«, and the
> > following explanation speaks about > »ext« which is nowhere to see in
> > the file name.
>
> I didn't think it was hard coded.  Give us some credit, we're not all
> idiots.
But for the idiots among the readers, it could be helpful to see the
connection between
the file name and the later mentioned variable {ext}.

Cheers,
Mario

Reply via email to