On 03/10/2010 03:21 PM, Anthony Liguori wrote:
If we also get rid of the savannah git repo, or plan to do so, I have
no issue with reverting this patch.
If someone can suggest a solution for mailing list hosting, I'd be happy
to leave Savannah tomorrow.
There is still the problem that
"g
On 03/10/2010 08:44 AM, Avi Kivity wrote:
On 03/10/2010 04:21 PM, Anthony Liguori wrote:
On 03/10/2010 04:15 AM, Paolo Bonzini wrote:
If we also get rid of the savannah git repo, or plan to do so, I
have no issue with reverting this patch.
If someone can suggest a solution for mailing list ho
On 03/10/2010 04:21 PM, Anthony Liguori wrote:
On 03/10/2010 04:15 AM, Paolo Bonzini wrote:
If we also get rid of the savannah git repo, or plan to do so, I have
no issue with reverting this patch.
If someone can suggest a solution for mailing list hosting, I'd be
happy to leave Savannah tomo
On 03/10/2010 04:15 AM, Paolo Bonzini wrote:
If we also get rid of the savannah git repo, or plan to do so, I have
no issue with reverting this patch.
If someone can suggest a solution for mailing list hosting, I'd be happy
to leave Savannah tomorrow.
I'm not overly eager to do a mailing lis
On 03/09/2010 06:08 PM, Anthony Liguori wrote:
On 03/09/2010 10:38 AM, Paolo Bonzini wrote:
diff --git a/.gitmodules b/.gitmodules
index dd4745e..5217ce7 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,6 @@
[submodule "roms/vgabios"]
path = roms/vgabios
- url = ../vgabios.git
+ url = git:/
On 03/06/2010 11:10 PM, Aurelien Jarno wrote:
Is the slash at the end of the URL really wanted?
It works either with or without.
Paolo
