
<html><blockquote><p>ui: Amúgy meglepően gyors. Megkockáztatom, hogy gyorsabb a Jenkins, mint otthonról csatlakozni a mirror-ra.</p></blockquote>A Jenkins-nek a mirror lokális. De egyébként is gyorsan buildel az a gép.</html>