Merge branch 'master' into wenbli-dev

openconfig · Apr 27, 2020 · 03ef70b · 03ef70b
2 parents 1ef78fc + 262c0f2
commit 03ef70b
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/pkg/oc/update.sh b/pkg/oc/update.sh
@@ -14,8 +14,6 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-#!/bin/bash
-
 # Hack to ensure that if we are running on OS X with a homebrew installed
 # GNU sed then we can still run sed.
 runsed() {