mirage/shared-memory-ring — pull request #13 by djs55 (2014-11-21 18:23:55+00:00)
Title: travis: update to use opam 1.2 and pinning

Also remove the qemu arm chroot for now for speed.

Signed-off-by: David Scott