« Previous | Next » 

Revision 805f0c07

ID805f0c071dfad91e2de40385fee0d5d7f4c3737f
Parent 0b5ad33e
Child ad1bf20c

Added by Iustin Pop over 15 years ago

cleanup: WorkerPool, wrong variable name

Quoting Michael: "why is this even working?"

Reviewed-by: imsnah,amishchenko

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences