Hi Lassi. You wrote, 2019-08-18 20:46: > Is <https://github.com/manuel-serrano/bigloo/issues> also the main issue > tracker used by Bigloo nowadays
Yes, see Manuel's announcement on this list: https://sympa.inria.fr/sympa/arc/bigloo/2018-09/msg00001.html Ciao Sven
