An update will be applied December 9th, between 12PM and 1:00PM EST (UTC -5:00). The site may be slow during that time.

Compare Git revisions

Choose a branch/tag (e.g. develop ) or enter a commit (e.g. 4eedf23 ) to see what's changed or to create a merge request.
Changes are shown as if the source revision was being merged into the target revision.