What was the name of old Gary Coleman cartoon?

There was no cartoon featuring Gary Coleman. Gary Coleman was a real person and a popular actor, known for his role in the television series "Diff'rent Strokes."