head_ref

Generic head reference package which implements an actionserver with multiple clients which can send head references with priorities.

Maintainers: rein

License: TODO

API: doxygen