Jakob Hirsch

Results 13 comments of Jakob Hirsch

The correct title would be "Try to use push server by default", because this changes nothing on the server side, only the client (frontend) will change its behaviour. I think...

or use sed to activate usage of the push server

Duplicate of #77 Don't know why this did not get merged. The change is simple and clean.