Quoting Christoph Reiter <[email protected]>:
In case of raven we use private API and senf never found any external users so there is not much value I think.
In case of raven, we should use the official Debian package. The two bugs in the package don't look difficult. (Famous last words!) In case of senf, we can live with an embedded copy, I guess.

