On Sun, Nov 1, 2020 at 1:02 PM Gavin Smith wrote:
> On Sun, Nov 01, 2020 at 05:18:24PM +, Gavin Smith wrote:
> > On Sat, Oct 31, 2020 at 03:16:26PM -0700, Per Bothner wrote:
> > > On 10/31/20 2:26 PM, Gavin Smith wrote:
> > > > Feel free not to consider it if you find implementing your desire
On Sun, Nov 01, 2020 at 09:14:04PM +, Gavin Smith wrote:
> On Sun, Nov 01, 2020 at 09:04:02PM +, Gavin Smith wrote:
> > On Sun, Nov 01, 2020 at 09:02:55PM +, Gavin Smith wrote:
> > > I've gone and implemented it anyway (in commit b9920b16), because I
> > > wanted to see what it would be
On Mon, Nov 02, 2020 at 07:27:10AM +, Gavin Smith wrote:
> > > Ok. I will probably try to do something for that case.
> >
> > Here is what I propose. We add a new variable, like
> > USE_NODES_DIRECTIONS. It can be set to 1, 0, or undef, the default.
> > If undef it follows USE_NODES.
>
>
