diff --git a/doc/contributions.txt b/doc/contributions.txt index 124c30ac3933b4d90ae378783c8fe713fd2846e1..e0d5d7423c7b5e84846d5ce0464ead33d0381aa9 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