It looks like Jenkins has been failing to build for the last three days and hasn't updated the Github mirror for a similar period (since commit 435fc3176520a58f1c20ccb983c9fb40b30a1471).
https://github.com/systemd/systemd http://systemd.getpantheon.com:8080/jenkins/ Regards, _______________________________________________ systemd-devel mailing list systemd-devel@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/systemd-devel
