Hi Corinna, On Mon, 3 Apr 2023, Corinna Vinschen wrote:
> On Apr 3 16:44, Johannes Schindelin wrote: > > This patch hails from Git for Windows (where the Cygwin runtime is used > > in the form of a slightly modified MSYS2 runtime), where it is a > > well-established technique to let the `$HOME` variable define where the > > current user's home directory is, falling back to `$HOMEDRIVE$HOMEPATH` > > and `$USERPROFILE`. > > This patch is already merged. Yes, I am sorry, I wanted to keep this in the patch series for completeness' sake and also to make backporting to Git for Windows' MSYS2 runtime easier. That's why it is a part of v6, too. Ciao, Johannes
