Skip to content

2023-11-15: v7.0.5: Bug fixes

Vivek Kumar Dutta requested to merge v7.0.5 into devel

Fixed

  • WebSockets ping failure count is not reset after reconnect (GH#97)

Merge request reports