diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-05-01 20:21:55 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-05-02 21:57:20 +0200 |
| commit | 25fe0ff7fd7d03e7f4108d361826cd91c038b89c (patch) | |
| tree | 74e0c9cf2cca18d795e235e7045d50096d95c232 /src/Erebos/Network.hs-boot | |
| parent | 61f745b3c57e4fe78bea8f8a7a48923b364dd874 (diff) | |
Network: reuse stream numbers after closing
Diffstat (limited to 'src/Erebos/Network.hs-boot')
0 files changed, 0 insertions, 0 deletions