![]() We sometimes miss pusher updates, which started to be more common lately. Until we investigate what's going on, this should be a good workaround for keeping UI in sync with the DB. |
||
---|---|---|
.. | ||
build-favicon.coffee | ||
github-url-properties.coffee | ||
polling.coffee |