Index: library/store/XOTclGdbm/configure =================================================================== diff -u -r8013b53cd7dd9e5eb6f5bc9e119556314f4922b4 -r34f178fae21c3cf3a2410c7b1986d3e6b84dcf42 --- library/store/XOTclGdbm/configure (.../configure) (revision 8013b53cd7dd9e5eb6f5bc9e119556314f4922b4) +++ library/store/XOTclGdbm/configure (.../configure) (revision 34f178fae21c3cf3a2410c7b1986d3e6b84dcf42) @@ -11004,3 +11004,5 @@ + +