diff options
author | Clombrong <cromblong@egregore.fun> | 2025-07-01 21:28:38 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-07-26 21:55:11 +0200 |
commit | bd6c41b0507b7cf460f1c789f9800501d9390788 (patch) | |
tree | 050d818c46e13bc93dc0ac9cc08b43062a2368f1 | |
parent | f9571f89a4121804ebe426e5458c4e32d779d98b (diff) |
feat(jid): derive Show for Jids
-rw-r--r-- | lib/jid.ml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ type t = { localpart : string option; domainpart : string; resourcepart : string option; - } + } [@@deriving show { with_path = false }] exception InvalidUTF8 |