mirror of
https://github.com/corda/corda.git
synced 2025-01-18 18:56:28 +00:00
Don't change api-current because we are about to regenerate it
This commit is contained in:
parent
2a09dd066d
commit
797ecf3b7c