1. 2020-11-30 Re: [PATCH] git-gui: use gray selection background fo git Stefan Haller 2. 2020-11-30 Re: [PATCH] git-gui: use gray selection background fo git Pratyush Yadav 3. 2020-11-30 Re: [PATCH] git-gui: use gray selection background fo git serg.partizan 4. 2020-11-29 Re: [PATCH] git-gui: use gray selection background fo git Stefan Haller 5. 2020-11-23 Re: [PATCH] git-gui: use gray selection background fo git serg.partizan 6. 2020-11-23 Re: [PATCH] git-gui: use gray selection background fo git Stefan Haller 7. 2020-11-23 Re: [PATCH] git-gui: use gray selection background fo git serg.partizan 8. 2020-11-23 [PATCH] git-gui: use gray selection background for in git Stefan Haller