----- Original Message -----
From: "David Kastrup" <[email protected]>
To: <[email protected]>
Sent: Thursday, July 18, 2013 4:14 PM
Subject: Re: Unable to run test patchy - URI changed for tracker?
Julien Rioux <[email protected]> writes:
The comment updates using accept-patch.py and reject-patch.py aren't
broken (yet), so let's hope it stays this way.
Well, hope is cheap. I'm skeptical it will stay that way, but as long
as we don't sink _additional_ work into it, we might as well use it
while it lasts.
But we might still take the opportunity to check out alternatives in
advance.
--
David Kastrup
As I've sort-of indicated, my vote would be to track issues with github, and
remain with Google for bug reports and enhancement requests.
--
Phil Holmes
_______________________________________________
lilypond-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/lilypond-devel
