Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add Unix.is_inet6_addr (#9575) (commit: d18d552) (details)
Commit d18d552fdce8edfc36f2c5a5dd9f26b8df0f8c4c by noreply
Add Unix.is_inet6_addr (#9575)

Closes: #4535
Closes: #6105
 (commit: d18d552)
The file was modifiedotherlibs/unix/unix.mli (diff)