diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/contributions.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/contributions.txt b/doc/contributions.txt index e491df284e..171b791a61 100644 --- a/doc/contributions.txt +++ b/doc/contributions.txt @@ -584,6 +584,7 @@ Jonathan Yap STORM-910 STORM-1642 STORM-1105 + STORM-1679 STORM-1222 STORM-1659 STORM-1674 |