[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: PING: [Patch] Create scripts/ directory for profiler files
|
From: |
Jordi Gutiérrez Hermoso |
|
Subject: |
Re: PING: [Patch] Create scripts/ directory for profiler files |
|
Date: |
Mon, 16 May 2016 19:18:02 -0400 |
On Mon, 2016-05-16 at 10:52 +0200, Daniel Kraft wrote:
> See below -- friendly ping on the two related patches:
>
> https://savannah.gnu.org/patch/index.php?8991
> https://savannah.gnu.org/patch/index.php?8997
>
> Thanks!
You were our first GSoC student, and quite a successful one at that.
Except for minor stylistic issues (e.g. Python-like __foo__ not C-like
__foo for private names), your patches look good.
Is there a reason why you don't have push access to Savannah? Do you
want it?
- Jordi G. H.