Index: library/store/XOTclGdbm/configure =================================================================== diff -u -rf3794b8253a6b514a299f0587f524fdd984727d6 -r187492dd9e893c1afcb30ca671e94bb4ea25fef1 --- library/store/XOTclGdbm/configure (.../configure) (revision f3794b8253a6b514a299f0587f524fdd984727d6) +++ library/store/XOTclGdbm/configure (.../configure) (revision 187492dd9e893c1afcb30ca671e94bb4ea25fef1) @@ -11477,3 +11477,5 @@ + +