]> git.r.bdr.sh - rbdr/junction/commitdiff
Merge branch 'server' into 'main'
authorRuben Knol <redacted>
Sun, 27 Sep 2020 16:10:11 +0000 (16:10 +0000)
committerRuben Knol <redacted>
Sun, 27 Sep 2020 16:10:11 +0000 (16:10 +0000)
First implementation of the socket server

See merge request rbdr/junction!2


Trivial merge