Your message dated Fri, 27 May 2011 13:40:10 -0700 with message-id <4DE00C2A.4030909@cs.ucla.edu> and subject line fixes committed to trunk has caused the GNU bug report #8719, regarding ccl: add some integer overflow checks to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 8719: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8719 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems