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 c5467ba154..3b9c7ad04f 100644 --- a/doc/contributions.txt +++ b/doc/contributions.txt @@ -610,6 +610,7 @@ Jonathan Yap STORM-1733 STORM-1741 STORM-1790 + STORM-1795 STORM-1788 STORM-1803 STORM-1799 |