Generic account for RWTHAachen Students 521c3e1bc9 free allocated memory for iRCCE_MAIL_HEADER now; call iRCCE_finalize() in icc_halt()		2011-06-06 06:45:17 -07:00
..
x86	free allocated memory for iRCCE_MAIL_HEADER now; call iRCCE_finalize() in icc_halt()	2011-06-06 06:45:17 -07:00