mirror of
https://github.com/corda/corda.git
synced 2025-01-30 08:04:16 +00:00
a83f3f3abe
This issue was fixed in https://github.com/corda/corda/pull/2947.