mirror of
https://github.com/corda/corda.git
synced 2025-01-28 23:24:29 +00:00
a83f3f3abe
This issue was fixed in https://github.com/corda/corda/pull/2947.