> On Apr 8 05:42, Andrew Schulman wrote: > > > I just did this, but the docs haven't been updated online. Is another step > > > needed to update the working directory on sourceware from the repository? > > > > Sorry, nevermind. > > Nevermind?
Uh, yes. Nevermind. Sorry. I thought I had pushed a commit out, but I hadn't. Once I pushed the commit, it appeared right away in the goldstar page.
