mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-05 19:00:33 -05:00
Merge branch 'br-0.5.1'
This commit is contained in:
commit
15e314129f
2 changed files with 6 additions and 1 deletions
|
|
@ -1,4 +1,9 @@
|
|||
|
||||
# 0.5.1
|
||||
|
||||
- fix `Ws_pool`: workers would exit before processing
|
||||
all remaining tasks upon shutdown
|
||||
|
||||
# 0.5
|
||||
|
||||
## features
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@
|
|||
(using mdx 0.2)
|
||||
|
||||
(name moonpool)
|
||||
(version 0.5)
|
||||
(version 0.5.1)
|
||||
(generate_opam_files true)
|
||||
(source
|
||||
(github c-cube/moonpool))
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue