diff options
| -rwxr-xr-x | doc/contributions.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/contributions.txt b/doc/contributions.txt index 124c30ac39..e0d5d7423c 100755 --- a/doc/contributions.txt +++ b/doc/contributions.txt @@ -681,6 +681,8 @@ Jonathan Yap STORM-1993 OPEN-113 STORM-1975 + STORM-1982 + STORM-1975 STORM-1987 STORM-1982 STORM-1992 |