backport will be permanently deleted from dune-localfunctions. This cannot be undone.

bug will be permanently deleted from dune-localfunctions. This cannot be undone.

buildsystem will be permanently deleted from dune-localfunctions. This cannot be undone.

critical will be permanently deleted from dune-localfunctions. This cannot be undone.

discussion will be permanently deleted from dune-localfunctions. This cannot be undone.

doc will be permanently deleted from dune-localfunctions. This cannot be undone.

duplicate will be permanently deleted from dune-localfunctions. This cannot be undone.

faq will be permanently deleted from dune-localfunctions. This cannot be undone.

feature will be permanently deleted from dune-localfunctions. This cannot be undone.

linux will be permanently deleted from dune-localfunctions. This cannot be undone.

notabug will be permanently deleted from dune-localfunctions. This cannot be undone.

osx will be permanently deleted from dune-localfunctions. This cannot be undone.

suggestion will be permanently deleted from dune-localfunctions. This cannot be undone.

task will be permanently deleted from dune-localfunctions. This cannot be undone.

Technical Debt will be permanently deleted from Core Modules. This cannot be undone.

upstream will be permanently deleted from dune-localfunctions. This cannot be undone.

windows will be permanently deleted from dune-localfunctions. This cannot be undone.

wontfix will be permanently deleted from dune-localfunctions. This cannot be undone.