Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Bliss
bliss
Merge requests
!3802
Flint: Fix close of flint server
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Valentin Valls
requested to merge
valentin.valls/bliss:fix-flint-server
into
master
Jun 16, 2021
Overview
1
Commits
1
Pipelines
2
Changes
1
Closes
#2827 (closed)
This MR fix a typo while closing the Flint RPC server.