|
| From: | Nicolas Goaziou |
| Subject: | Re: [O] [PATCH] noweb documentation update |
| Date: | Fri, 23 Jun 2017 07:56:28 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) |
Kaushal Modi <address@hidden> writes: > OK to push this after that change? Sure, go ahead. Thank you. Regards,
| [Prev in Thread] | Current Thread | [Next in Thread] |