K 10 svn:author V 3 des K 8 svn:date V 27 2013-09-07T19:27:58.563103Z K 7 svn:log V 53 Merge upstream r743: caught_signal should be static. END