Re: debian buildbots are crashing

[John W. Eaton]

On 9/24/20 9:49 PM, John W. Eaton wrote:
> On 9/24/20 7:14 PM, Dmitri A. Sergatskov wrote:
> > I noticed that all debian buildbots coredump during compile. Was there 
> > some
> > system update gone wrong?
>
> No, there was a bug uncovered by a recent change that I made.  I'm 
> working on it.

I pushed the following change on stable and merged with default.  It 
seems to fix the problem for me.

  http://hg.savannah.gnu.org/hgweb/octave/rev/c5953e65c6aa

jwe