Groups

dev-suite

Contact owners and managers

1–3 of 5

0 selected

Michael Gattozzi, antoine9...@gmail.com4

1/5/20

Thanks for filing and fixing the issue on the same branch Antoine! On Sat, Jan 4, 2020 at 6:43 PM

unread,

Thanks for filing and fixing the issue on the same branch Antoine! On Sat, Jan 4, 2020 at 6:43 PM

1/5/20

Michael Gattozzi

12/31/19

Wish List Have a want or a suggestion? Send it here and it might be considered as a future addition

unread,

Wish List Have a want or a suggestion? Send it here and it might be considered as a future addition

12/31/19

1/9/20

[PATCH] Adding mailing list subscribe instructions for non-google addresses

--- CONTRIBUTING.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CONTRIBUTING.md b/

unread,

[PATCH] Adding mailing list subscribe instructions for non-google addresses

--- CONTRIBUTING.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CONTRIBUTING.md b/

1/9/20

Katharina Fey, Michael Gattozzi3

1/8/20

Adding nix build files

No problem I'll cherry-pick the needed commits soon! Thanks! Best, Michael Gattozzi On Jan 8,

unread,

Adding nix build files

No problem I'll cherry-pick the needed commits soon! Thanks! Best, Michael Gattozzi On Jan 8,

1/8/20

antoine9...@gmail.com, Michael Gattozzi2

1/5/20

[PR] Fix PATH getting wiped on Windows during install

Hey Antoine! Thanks for taking the time to fix this PATH issue. I really appreciate it! I've

unread,

[PR] Fix PATH getting wiped on Windows during install

Hey Antoine! Thanks for taking the time to fix this PATH issue. I really appreciate it! I've

1/5/20

Search

Clear search

Close search

Google apps

Main menu