Bastien Guerry <[email protected]> writes: > Hi Thomas, > > "Thomas S. Dye" <[email protected]> writes: > >> I'm unable to push directly to Worg. > > I see this commit is already in: > https://git.sr.ht/~bzg/worg/commit/5d81e1f38d > > Thanks!
Applied. This message is being sent to update our issue tracker at https://tracker.orgmode.org
