mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-15 12:14:27 +00:00
57a5d7dd64
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.