Debian patch tracking system
lib/config/xnconfig_memory.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-)