diff options
author | simon <none@none> | 2013-05-29 14:42:19 -0700 |
---|---|---|
committer | simon <none@none> | 2013-05-29 14:42:19 -0700 |
commit | 507ce0d84fc3e7717c7c9ae58dcdae7785936f65 (patch) | |
tree | a7dde82693b2297a27024a00624c1ec9f81c2d0c /doc | |
parent | 473474b94969799d2835191072c5bca1b7d431d8 (diff) | |
parent | 3698aece0d2b396b55b46189e8ea7ee02da9483b (diff) |
Merge downstream code
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/contributions.txt | 1 |
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 |