(* OASIS_START *)
(* DO NOT EDIT (digest: eb6ce71b84f892a8829662baaaeae8fd) *)

Authors of res:

* Markus Mottl <markus.mottl@gmail.com>

Current maintainers of res:

* Markus Mottl <markus.mottl@gmail.com>

(* OASIS_STOP *)
