mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-12 18:54:26 +00:00
If we ever implement some sort of ABI for dynamic extension loading, we'll need these underlying APIs to support multiple extensions, so we might as well do that first.