From dc52dad8b00f2291cacc948d37effd609b6a6f1e Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Mon, 25 Nov 2024 16:39:15 +0100 Subject: [PATCH] Remove stray dot Signed-off-by: Gilles Peskine --- .github/pull_request_template.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index cde5cce6d..907f563d7 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -7,7 +7,7 @@ Please write a few sentences describing the overall goals of the pull request's ## PR checklist Please add the numbers (or links) of the associated pull requests for consuming branches. You can omit branches where this pull request is not needed. -. + - [ ] **development PR** Mbed-TLS/mbedtls# - [ ] **3.6 PR** Mbed-TLS/mbedtls#