Thomas Waldmann 04ac82d3e2 do binary releases via "github releases", closes #214 vor 10 Jahren
..
local 04ac82d3e2 do binary releases via "github releases", closes #214 vor 10 Jahren