From 2efcd79118b682e0d938779e8af1119d5ae43071 Mon Sep 17 00:00:00 2001 From: Francis Dupont Date: Fri, 12 Apr 2019 15:44:45 +0200 Subject: [PATCH] [503-refuse-option-definitions-which-duplicate-a-name-space] Added ChangeLog entry for option definition check against duplicates --- ChangeLog | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/ChangeLog b/ChangeLog index 8d9764ee31..4910c4295f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +1556. [bug] fdupont + Corrected parser for option definitions to refuse definitions with + duplicate code or name. + (Gitlab #503,!246, git 0befb653277463cd8f88740119fe90a93dbb1466) + 1555. [bug] fdupont Corrected parsers for option definitions to prevent setting out of range option code values. -- 2.47.2