X-Git-Url: http://git.hcoop.net/bpt/portal.git/blobdiff_plain/5d851d7c1a630286a5a7386f70db4ab0424029c8..a4adbfb9bd12654f046bcf0289c88a97b005b92d:/support.sig diff --git a/support.sig b/support.sig index 9036954..c94edc1 100644 --- a/support.sig +++ b/support.sig @@ -6,7 +6,8 @@ sig | CLOSED type category = { id : int, grp : int, name : string, descr : string } - type issue = { id : int, usr : int, cat : int, title : string, priv : bool, status : status, stamp : Init.C.timestamp } + type issue = { id : int, usr : int, cat : int, title : string, priv : bool, status : status, + stamp : Init.C.timestamp, pstamp : Init.C.timestamp option, cstamp : Init.C.timestamp option } type post = { id : int, usr : int, iss : int, body : string, stamp : Init.C.timestamp } type subscription = { usr : int, cat : int }