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.