Skip to content

Commit bde81a7

Browse files
committed
Merge branch 'topic/kptemplate' into 'master'
Fix gnatkp detector issue template after label renaming See merge request eng/libadalang/langkit-query-language!493
2 parents 176ea33 + e0d24eb commit bde81a7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.gitlab/issue_templates/gnatkp_detector.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,5 @@ KP detector for [impactdb origin]
22

33
Corresponding impactdb entry: eng/it/impact-db#[impactdb issue]
44

5-
/label ~"Area::kpdetector"
5+
/label ~"Area::KPdetector"
66
/label ~"Category::Enhancement"

0 commit comments

Comments
 (0)