source: @ 11499

Name	Size	Rev	Age	Author	Last Change
tags		10618	13 years	gb	tag 1.2 release
release		11430	12 years	rme	Port r11428 (typo in %init-misc) here.
trunk	​	11496	12 years	gb	Updated freebsdx8632 headers; include jni.
branches		11499	12 years	gz	Make the signum arg to *quit-interrupt-hook* optional