On Tue, May 12, 2020 at 11:18 AM Tomas Vondra <[email protected]> wrote: > I've pushed both patches, fixing typos and explain format.
Thanks, Tomas. -- Peter Geoghegan
- Re: [PATCH] Incremental sort (was: PoC: Partial sort) Justin Pryzby
- Re: [PATCH] Incremental sort (was: PoC: Partial sort) Tomas Vondra
- Re: [PATCH] Incremental sort (was: PoC: Partial s... Tomas Vondra
- Re: [PATCH] Incremental sort (was: PoC: Parti... Peter Geoghegan
- Re: [PATCH] Incremental sort (was: PoC: P... Tomas Vondra
- Re: [PATCH] Incremental sort (was: P... Tomas Vondra
- Re: [PATCH] Incremental sort (wa... Peter Geoghegan
- Re: [PATCH] Incremental sort (was: PoC: Partial sort) Justin Pryzby
- Re: [PATCH] Incremental sort (was: PoC: Partial s... James Coleman
