9.13 update is available

This is a small update that only fixes one issue with deadlock that will happen if you start add-on installation externally (for example from add-ons website).

Josef