Sorry, my development repository format is still in --1.14-rich-root, and I haven't upgraded yet (which coincidentally caused other kinds of problems trying to get this to work). I had pushed it, but it didn't show up because of that. I tried to upgrade it, but it was going on forever, so I just made a new branch.
Sorry, my development repository format is still in --1.14-rich-root, and I haven't upgraded yet (which coincidentally caused other kinds of problems trying to get this to work). I had pushed it, but it didn't show up because of that. I tried to upgrade it, but it was going on forever, so I just made a new branch.