I made a couple of mentions today of being unable to push changes in 
my working copy of the gretl sources to sourceforge. I've now been 
able to push, though I'm sure that everything is back to normal 
there. The GUI git interface seems currently slow-to-unusable; 
hopefully things will stabilize soon.

Allin
_______________________________________________
Gretl-devel mailing list
Gretl-devel@lists.wfu.edu
http://lists.wfu.edu/mailman/listinfo/gretl-devel