Source-Changes-D archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: please put back cat man pages, and what's the deal with warp?



On 10.11.2020 10:55, matthew green wrote:
> at this point the right thing is to revert, and then proceed
> with the discussion.  if you can convince people that your
> idea is of merit, you can put it back in, but right now that
> is quite clearly not a shared sentiment.

OK.


Home | Main Index | Thread Index | Old Index