Closed boyanpenkov closed 1 month ago
@perrette I'm not quite sure what other movement to make on this, and if other folks are not seeing it as a problem, I'd be glad to retract the PR, unless it rear's it's head again.
Hmm, I wouldn't know at this point. If that fixes your issue that's good, but I wonder if overwriting HOME might have undesired side effects. I see 3.10 fails, but the logs are too old to check.
OK, no problem; if this comes up again, I'd be glad to play with it more.
DONTMERGE quite yet...