Thanks! Pushed as 7b39b7eb91112616a26a7b5de1d0d4782c83add9.
- Re: [PATCH] gnu: gzochi: Update to 0.10. David Craven
- Re: [PATCH] gnu: gzochi: Update to 0.10. Mark H Weaver
- Re: [PATCH] gnu: gzochi: Update to 0.10. Julian Graham
- Re: [PATCH] gnu: gzochi: Update to 0.10. Mark H Weaver
- Re: [PATCH] gnu: gzochi: Update to 0.10. Julian Graham
- Re: [PATCH] gnu: gzochi: Update to 0.10. Mark H Weaver
- Re: [PATCH] gnu: gzochi: Update to 0.1... Julian Graham
- Re: [PATCH] gnu: gzochi: Update to 0.1... Mark H Weaver
- Re: [PATCH] gnu: gzochi: Update to... Julian Graham
- Re: [PATCH] gnu: gzochi: Update to... Julian Graham
- Re: [PATCH] gnu: gzochi: Update to... David Craven