naddy 5befe06c11 add a missing va_end(), found by one of espie@'s students		2011-06-14 22:00:13 +00:00
..
patch-configure	update to bugfix release 1.26	2011-03-15 21:10:13 +00:00
patch-rmt_rmt_c	add a missing va_end(), found by one of espie@'s students	2011-06-14 22:00:13 +00:00
patch-tests_sparse04_at	update to bugfix release 1.26	2011-03-15 21:10:13 +00:00