mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
The numbers aren't referenced directly, and explicit numbering makes an unnecesserily large diff when inserting something new in the middle. Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com> Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>