Bug#962133: [Pkg-zsh-devel] Bug#962135: Bug#962135: patch for bugs 962133 and 962135

2020-06-04 Thread Daniel Shahaf
Vincent Lefevre wrote on Thu, 04 Jun 2020 10:03 +0200: > On 2020-06-04 03:32:49 +, Daniel Shahaf wrote: > > Furthermore, I'd rather not remove code just because it's currently > > unused in zsh.git. The completion system — especially the Type/* > > functions — is an API, not a blackbox. Does

Bug#962133: [Pkg-zsh-devel] Bug#962135: Bug#962135: patch for bugs 962133 and 962135

2020-06-04 Thread Vincent Lefevre
On 2020-06-04 03:32:49 +, Daniel Shahaf wrote: > Furthermore, I'd rather not remove code just because it's currently > unused in zsh.git. The completion system — especially the Type/* > functions — is an API, not a blackbox. Does the function proposed for > removal answer a useful question?

Bug#962133: [Pkg-zsh-devel] Bug#962135: Bug#962135: patch for bugs 962133 and 962135

2020-06-03 Thread Daniel Shahaf
Vincent Lefevre wrote on Wed, 03 Jun 2020 21:14 +0200: > On 2020-06-03 20:28:11 +0200, Axel Beckert wrote: > > Daniel: Would you review it for upstream inclusion? Sure. > Note that this is not documented, so I thought that this was just > internal, and 3rd party code should have its own