Summary

skiplists: failure in tests

Metadata

Description

See http://salmonella-linux-x86.call-cc.org/master-debugbuild/gcc/linux/x86/2021/03/31/salmonella-report/test/skiplists.html

Changes and comments

[2021-04-02 15:37:16 UTC] juergen changed status from assigned to closed

[2021-04-02 15:37:16 UTC] juergen set resolution to fixed