On Wed, Dec 18, 2019 at 4:19 PM Paul Smith <psm...@gnu.org> wrote: > > On Wed, 2019-12-18 at 16:02 +0100, Jouke Witteveen wrote: > > Your se_implicit test case got left out of your commit. I guess this > > was unintentional. > > I'm not sure what you mean? It's there...?
My mistake. I must have done something wrong, because now I see it. > > Presumably, the test case was based on [SV 54161]. The bug can now be > > closed. > > Yes, will do that later. >
