summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorsimon <none@none>2013-05-29 14:42:19 -0700
committersimon <none@none>2013-05-29 14:42:19 -0700
commit507ce0d84fc3e7717c7c9ae58dcdae7785936f65 (patch)
treea7dde82693b2297a27024a00624c1ec9f81c2d0c /doc
parent473474b94969799d2835191072c5bca1b7d431d8 (diff)
parent3698aece0d2b396b55b46189e8ea7ee02da9483b (diff)
Merge downstream code
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/contributions.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/contributions.txt b/doc/contributions.txt
index 37344bc0d8..13d8099691 100755
--- a/doc/contributions.txt
+++ b/doc/contributions.txt
@@ -902,6 +902,7 @@ Nicky Dasmijn
VWR-29228
MAINT-873
SUN-72
+ BUG-2432
STORM-1935
STORM-1936
STORM-1937