Hello everyone, I just checked the two repositories:
http://orgmode.org/w/org-mode.git and http://repo.or.cz/w/org-mode.git The latter is behind of 4 commits, i.e. 11 hours. Its last commit is Eric Schulte's 90f6765cdf77c1414726d899f00c77da43f45758 So has repo.or.cz been discontinued or is repo.or.cz still kernel panicking? cheers, Giovanni
