Alberto Mardegan has comitted the change to the git repository. Thank you, Alberto! Now to fix this problem one just needs to click Repositories -> Sync.