View Revisions: Note 197

Summary 0000204: Use github issues instead of own Mantis for bug reporting.