On Wed, Jul 16, 2008 at 12:06 PM, Jan Engelhardt <jengelh@medozas.de> wrote:
Incidentally, although I am now committed to fixing all these
problems, note that since I merely mechanically converted
git kernel.org:
to
git://git.kernel.org/
The rest of the source tree location was already wrong BEFORE I
touched it, as well as inconsistent, so this is another indication
that this should be fixed.
--