Ubuntu
siridb-server package

  1. Bug #1987558
  2. Comment #4

Comment 4 for bug 1987558

Revision history for this message
Paul Gevers (paul-climbing) wrote :

That was a bit short. Uploaded the new upstream version with this patch included. Thanks a lot for looking into this.