From 091c73c8e7f157f542dd43b07b439bc335f7175c Mon Sep 17 00:00:00 2001 From: juha Date: Tue, 3 Oct 2017 18:19:31 +0000 Subject: [PATCH] Add Pino Toscano to contributors. git-svn-id: trunk@55967 - --- docs/Contributors.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/Contributors.txt b/docs/Contributors.txt index 91b854b1a1..bc71dedfa4 100644 --- a/docs/Contributors.txt +++ b/docs/Contributors.txt @@ -176,6 +176,7 @@ Petr Kristan Philip J. Hess Philippe Picard Pierre Gillmann +Pino Toscano Przemyslaw Nagay Radek Cervinka Raul Moratalla