Do I need to patch my tubed-tire if I have a puncture?
I think thats small enough that I probably wouldn't worry about it too much, but you can fill it in with a dab of super glue or sealants for rubber (like shoe goo) for peace of mind. 

You could boot it (a nice boot is the Park Tool TB-2), but I think this is likely too much work.