From: Ruben Knol <redacted>
Date: Sun, 27 Sep 2020 16:10:11 +0000 (+0000)
Subject: Merge branch 'server' into 'main'
X-Git-Url: https://git.r.bdr.sh/rbdr/junction/commitdiff_plain/a69b770cb379354226a8c05be5cbea3e8703803f?hp=ac259c8645783dcb92fc0eafff166769f5216aa9

Merge branch 'server' into 'main'

First implementation of the socket server

See merge request rbdr/junction!2
---