Labels

• Bug-ByDesign

  Bug-ByDesign

• Bug-Duplicate

  Bug-Duplicate

• Bug-helpwanted

  Bug-helpwanted

• Bug-Not reproducible

  Bug-Not reproducible

• Bug-WontFix

  Bug-WontFix

• exp-advanced

  exp-advanced

• exp-beginner

  exp-beginner

• exp-intermediate

  exp-intermediate

• prio:urgent

  prio:urgent

• Scope-all

  Scope-all

• Scope-common

  Scope-common

• Scope-dynsup

  Scope-dynsup

• Scope-gui

  Scope-gui

• Scope-HLCL

  Scope-HLCL

• Scope-IO

  Scope-IO

• Scope-reasoner

  Scope-reasoner

• Scope-solver

  Scope-solver

• TaskType-bugCorrection

  TaskType-bugCorrection

• TaskType-codeunderstanding

  TaskType-codeunderstanding

• TaskType-newFunctionality

  TaskType-newFunctionality

• TaskType-refactoring

  TaskType-refactoring