Skip to content

Flint: Fix close of flint server

Valentin Valls requested to merge valentin.valls/bliss:fix-flint-server into master

Closes #2827 (closed)

This MR fix a typo while closing the Flint RPC server.

Merge request reports