From 7081a69b244b84df02dcc4e01c57b40a8d01591a Mon Sep 17 00:00:00 2001
From: Barry Warsaw <barry@python.org>
Date: Wed, 20 Nov 1996 15:19:10 +0000
Subject: [PATCH] /usr/bin/env is slightly more portable

---
 Tools/world/world | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/world/world b/Tools/world/world
index 2041cf712eb..a610a56accd 100755
--- a/Tools/world/world
+++ b/Tools/world/world
@@ -1,4 +1,4 @@
-#! /bin/env python
+#! /usr/bin/env python
 
 """Print the long name of an Internet domain.