Update release details for version 4.0.1#9

gjong merged 1 commit intomasterpledger-io/user-documentation:masterfrom

update-release-notes-4.0.1pledger-io/user-documentation:update-release-notes-4.0.1Copy head branch name to clipboard