I have made a new bug-fix release tagged ngspice-31.3, based on current mngspice master branch, including the fixes mentioned above.
I have made a new bug-fix release tagged ngspice-31.3, based on current mngspice master branch, including the fixes mentioned above.