- getting ready for 3.14
- remove 3.10 build
- fix aarch64 AMI's /etc/default/grub (resolves #121 (closed))
- bump revision for aarch64 3.13 & 3.12 (to rebuild with fix)
Our ARM infrastructure is unreachable at the moment, so CI jobs will time-out and packages will not be updated until the servers are back.