diff options
| -rw-r--r-- | md/issues/171103.1.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/md/issues/171103.1.md b/md/issues/171103.1.md index ba72284..8c5c570 100644 --- a/md/issues/171103.1.md +++ b/md/issues/171103.1.md | |||
| @@ -4,7 +4,7 @@ Champion: Mark Wielaard | |||
| 4 | Submit-Date: 2017-11-03 | 4 | Submit-Date: 2017-11-03 |
| 5 | Closed-Date: 2021-10-04 | 5 | Closed-Date: 2021-10-04 |
| 6 | Propid: 171103.1 | 6 | Propid: 171103.1 |
| 7 | Type: Accepted | 7 | Type: Error |
| 8 | Status: Accepted | 8 | Status: Accepted |
| 9 | Version: 6 | 9 | Version: 6 |
| 10 | Format: markdown | 10 | Format: markdown |