Skip to content

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 5

  • Documentation
    Mathdoc / ptfs / ptf-app-crawler
    label for documentation related things to be done
  • Enhancement
    Mathdoc / ptfs / ptf-app-crawler
    New feature
  • Priority
    Mathdoc / ptfs
  • bug
    Mathdoc / ptfs / ptf-app-crawler
  • not planned
    Mathdoc / ptfs / ptf-app-crawler