src/leon/src/desauto.c | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 upstream: fix: desauto: wild char array
 Initialize a wild char array in src/leon/src/desauto.c
 that caused issue at test time.

Makefile.in | 40 28 + 12 - 0 !
configure | 1 1 + 0 - 0 !
src/leon/Makefile.in | 8 8 + 0 - 0 !
src/leon/configure.ac | 1 1 + 0 - 0 !
4 files changed, 38 insertions(+), 12 deletions(-)

 debianization
 Meant to maintain a minimal debian/rules, to fix annoying
 warnings, to address Debian specific stuff in general.