[Babel-users] [PATCH 1/3] add error helper functions

Juliusz Chroboczek jch at irif.fr
Thu Dec 6 11:56:14 GMT 2018


Thanks, Christof.

I'm still dealing with exams and student defenses, I'll review all of your
proposals during the holidays.

Genuinely sorry for the delay,

-- Juliusz



More information about the Babel-users mailing list