mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 10:11:27 +01:00
still takes one (and just doesn't use it). Noone uses it anyway, so nothing should break by taking it away. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>