machinekit/machinekit.github.io — pull request #34 by strahlex (2014-11-20 10:45:20+00:00)
Title: another apt-get update is needed to refresh the key

See https://github.com/machinekit/machinekit.github.io/issues/30