Cr_comment.HeaderSourcereporter is user in CR user....
recipient is user2 in CR user1 for user2: .... Assigning CRs to particular users is optional. This returns None if that part is left out, such as in CR user1: Comment.
This returns the qualifier if present (Soon for CR-soon or Someday for CR-someday). If there is no qualifier specified, this returns None.
priority t represents the expectation as to when work on the CR is meant to happen. It is based on the header's qualifier except that XCRs are meant to be worked on Now.
These getters allows you to access the position of each elements of the CR header. This is meant for tools processing CRs automatically, such as CRs rewriters.
The following is deprecated and will be soon annotated as such with ocaml alerts. Please migrate, and do not use in new code.
This was renamed reporter. Hint: Run ocamlmig migrate.
This was renamed recipient. Hint: Run ocamlmig migrate.