From a5a740a17a4cf554a8eb237a3670f3aef0d3d8f3 Mon Sep 17 00:00:00 2001 From: Aistis Raulinaitis Date: Fri, 8 May 2015 23:45:07 -0700 Subject: z3 opt --- lib/maintainers.nix | 1 + 1 file changed, 1 insertion(+) (limited to 'lib') diff --git a/lib/maintainers.nix b/lib/maintainers.nix index 6f4a7be21f6e..6906abd2c78c 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -184,6 +184,7 @@ schmitthenner = "Fabian Schmitthenner "; schristo = "Scott Christopher "; sepi = "Raffael Mancini "; + sheganinans = "Aistis Raulinaitis "; shell = "Shell Turner "; shlevy = "Shea Levy "; simons = "Peter Simons "; -- cgit 1.4.1