mirror of
https://github.com/corda/corda.git
synced 2025-02-02 17:21:06 +00:00
953cb69e5e
This allows code shrinkers to remove it if it's not used by the application.