Merge branch 'master' into HEAD

Joel Grunbaum

2021-12-13 8581e6bcbab9eb18eb8dadb1cb42a5a0af7fb62d

1
2
3
4
5
6
7
[credential]
    helper = store
[user]
    name = Joel Grunbaum
    email = joelgrun@gmail.com
[pull]
    rebase = false