From c0c9f365b99741550e207753640951c14ea44236 Mon Sep 17 00:00:00 2001
From: mpl <mathieu.lonjaret@gmail.com>
Date: Tue, 23 Jul 2013 23:05:56 +0200
Subject: [PATCH] dev-server: remove get_closure.pl require

Change-Id: I312577b69bb6b67196056361168c1ddfd27f90fa
---
 dev-server | 1 -
 1 file changed, 1 deletion(-)

diff --git a/dev-server b/dev-server
index 246ee98aa..434c90dc8 100755
--- a/dev-server
+++ b/dev-server
@@ -4,7 +4,6 @@ use strict;
 use FindBin qw($Bin);
 use Getopt::Long;
 require "$Bin/misc/devlib.pl";
-require "$Bin/misc/get_closure.pl";
 
 sub usage {
     die "Usage: dev-server [OPTS] [<portnumber>] -- [other_blobserver_opts]\n\nWhere OPTS include:\n   [--wipe] [--mongo|--mysql|--postgres] [--tls] [--fullclosure] " .