# HG changeset patch # User Rik # Date 1393463702 28800 # Node ID fa58514e73830a83383f538a13dea76dc4302269 # Parent 713193ffc8c4825f827a0007e769ee109460edc4 doc: Add new contributor to contributors.in. * contributors.in: Add Sergey Plotnikov to contributors. diff --git a/doc/interpreter/contributors.in b/doc/interpreter/contributors.in --- a/doc/interpreter/contributors.in +++ b/doc/interpreter/contributors.in @@ -224,6 +224,7 @@ Elias Pipping Robert Platt Hans Ekkehard Plesser +Sergey Plotnikov Tom Poage Orion Poplawski Ondrej Popp