For the record, after a lot of investigation I finally tracked down the cause of the problem.
I’ve just checked a fix to makepanda on CVS.
For the record, after a lot of investigation I finally tracked down the cause of the problem.
I’ve just checked a fix to makepanda on CVS.