Skip to content
GitLab
Explore
Sign in
Bliss
bliss
Merge requests
!3802
Flint: Fix close of flint server
Code
Review changes
Check out branch
Download
Patches
Plain diff
Valentin Valls
requested to merge
valentin.valls/bliss:fix-flint-server
into
master
Jun 16, 2021
Overview
1
Commits
1
Pipelines
2
Changes
1
Expand
Closes
#2827 (closed)
This MR fix a typo while closing the Flint RPC server.
Merge request reports