20190924112657-ce6e51a

Redefine Circle CI config

20190924104039-441e5a3

Escalate privileges to update packages

20190924102848-062c479

Build on Circle CI

20190226134146-81158e7

Update subversion, fix small typos

20180614074844-f5816df: Fix hostnames

Signed-off-by: Igor Gunia <[email protected]>