chipKIT32/chipKIT32-MAX — pull request #362 by majenkotech (2013-06-18 15:45:14+00:00)
Title: Fixed typo in task_manager.c

User george4657 on the forums pointed out a typo in task_manager.c - I have corrected it.