On Thu, Apr 9, 2020 at 12:00 AM Jan Nieuwenhuizen <[email protected]> wrote:
> Aleix Conchillo Flaqué writes: > > Hello Aleix, > > > Oh... I know what happened. I used to push commits to a private server > > that then would push to github and savannah witha commit hook, but I > > don't have that anymore so I have not been updating savannah. > > Ah, that explains things! > > > > Would you mind do it on master? > > > > As far as I can see, I'm up to date > > > > http://git.savannah.nongnu.org/cgit/guile-json.git/log > > > http://git.savannah.nongnu.org/cgit/guile-json.git/commit/?id=c95a72735ceb2506ec2a0c1cf7deaf33868a262c > > > > Should be updated now. My bad, sorry about that. > > Find attached; only a smaller bugfix now: we've been implementing the > mostly the same thing :) > > Thanks! Applied. Aleix
