[Pkg-xen-changes] [xen] branch feature/arm deleted (was ec962c4)

[Ian Campbell]

This is an automated email from the git hooks/post-receive script.

ijc-guest pushed a change to branch feature/arm
in repository xen.

       was  ec962c4   merge patched-feature/arm into feature/arm

This change permanently discards the following revisions:

  discards  ec962c4   merge patched-feature/arm into feature/arm
  discards  6286cdf   arm64 workaround for glibc PSR_MODE_* namespace polution
  discards  3926d07   Add arm64 support
  discards  71120db   Parameterize ocaml support.
  discards  e28ea0c   Run dh-autoreconf to update config.{sub,guess}
  discards  0f10c20   Add support for armhf
  discards  e51ac54   Paramterize the Xen binary suffix

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-xen/xen.git