anil.recoil.org
Zulip bots with Eio
fixes
+3
-3
+1
-1
lib/zulip/channel.mli
+1
-1
lib/zulip/channel.mli
···
121
121
(** Email notification setting. *)
122
122
123
123
val wildcard_mentions_notify : t -> bool option
124
-
(** Whether to notify on @all/@everyone mentions. *)
124
+
(** Whether to notify on \@all/\@everyone mentions. *)
125
125
126
126
val jsont : t Jsont.t
127
127
(** Jsont codec for subscription. *)
+2
-2
lib/zulip/message_flag.mli
+2
-2
lib/zulip/message_flag.mli
···
18
18
19
19
type t =
20
20
[ modifiable
21
-
| `Mentioned (** User was @-mentioned in the message *)
22
-
| `Wildcard_mentioned (** User was mentioned via @all/@everyone *)
21
+
| `Mentioned (** User was \@-mentioned in the message *)
22
+
| `Wildcard_mentioned (** User was mentioned via \@all/\@everyone *)
23
23
| `Has_alert_word (** Message contains one of user's alert words *)
24
24
| `Historical (** Message predates user joining the stream *) ]
25
25
(** All possible message flags. *)