« Previous | Next » 

Revision e2436511

IDe243651150a18fc469a4b0c62cd0fa8c7e2584dc
Parent b1ddaad9
Child 317b1040

Added by Iustin Pop almost 14 years ago

Fix hspace's KM metrics

We returned the KM_POOL_* metrics as the final state, not as the delta
between the final and the initial state.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences