On Fri, 1 Dec 2023 12:10:10 +0200 Ilias Apalodimas wrote: > Jakub, are you ok with the name changes or is it going to make > bisecting a pain? It's perfectly fine. I should probably mention that I asked for this rename, so I'm not impartial :)
On Fri, 1 Dec 2023 12:10:10 +0200 Ilias Apalodimas wrote: > Jakub, are you ok with the name changes or is it going to make > bisecting a pain? It's perfectly fine. I should probably mention that I asked for this rename, so I'm not impartial :)
|