On Sun, 23 Aug 2020, Sven Schreiber wrote:
could it be that in the regls addon area one cannot do "make clean"? I
get an error suggesting that. This is with the current git state on
I can see why that might be. Now fixed in git, I think.