Module Name: src
Committed By: martin
Date: Mon Jan 8 14:17:15 UTC 2018
Modified Files:
src/distrib/sets/lists/tests: module.mi
src/tests/modules: Makefile
Added Files:
src/tests/modules: t_klua_pr_52864.sh
Log Message:
PR 52864: add a test for this bug, from sevan@
To generate a diff of this commit:
cvs rdiff -u -r1.12 -r1.13 src/distrib/sets/lists/tests/module.mi
cvs rdiff -u -r1.12 -r1.13 src/tests/modules/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/modules/t_klua_pr_52864.sh
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
