++ed by:
MARSENI SRI MARIOROY EMAZEP DRAEGTUN

10 PAUSE users
8 non-PAUSE users.

Rob Kinyon

Documentation

Provides

Changes for version 1.0013

  • (This version is compatible with 1.0012)
  • Fix for RT#30144 (Optimization failure on Win32)
  • Fixed a bug in reindex_entry (Thanks, Wulfram Humann!)