Bugfix: We can only merge available revisions.
Added generic observer mechanism.
User feedback about synchronization activity.
Bugfix.
Merge branch 'master' into gh-pages
Concatenated javascript files.
Typo.
Bugfix: Do not try to merge if base is unavailable.
Merge branch 'master' into gh-pages