source: @ 11490

Name	Size	Rev	Age	Author	Last Change
trunk	​	11490	12 years	gb	Add JNI, update other interfaces for linuxx8632.
tags		10618	13 years	gb	tag 1.2 release
release		11430	12 years	rme	Port r11428 (typo in %init-misc) here.
branches		11482	12 years	gz	r11450 from trunk: *quit-interrupt-hook*