Remove unused ci profile that used deleted plugin
Set release to true in release profile
Prepare 1.7.2 release
Bump versionCode for 1.7.2 release
Prepare 1.7.3 release
Fix typo in Greek translation.

Closes #424
Update slovak locale

Closes #431
source-editor.js: add missing semicolon.
Update README.md.

Add title to the Google play image and use code syntax where applicable.
Whitespace normalization.

Use spaces consistently and trim trailing spaces.
Closes #425
Fix xml formatting in login.xml
Losslessly compress png files.

Savings approximately -110KB.
Closes #426
Do not show 'Edit' and 'Close' issues menu to non-collaborators

Refs #413
Non-collaborator restrictions on browsing issues.

Non-collaborators are not allowed to change
assignee/milestones/labels when browsing issues.
Refs #413
Override annotations in onClick()
Non-collaborator restrictions in EditIssueActivity

Made it so that issue administration options only show up
if the user is a collaborator on this repository
Closes #419
Move some methods to keep consistency through the class, clean imports
Use Finder to find views
Remove unused import
Fix a bug with issues dashboard

Issues from issue dashboard were not displaying because of
null repository variable.