tree fe83e12ef11fed32a353b765f95d64e92731cd58
parent d7b4584aae785c4800ee55a2c6ea88cbd5a1476b
author Jonathan Hart <jono@onlab.us> 1426803680 -0700
committer Jonathan Hart <jono@onlab.us> 1426895428 +0000

Remove "strip vlan" from our API because it is the same as "pop vlan".

"Strip vlan" is OF1.0 terminology, whereas by OF1.3 it is called "pop vlan".

Change-Id: I483526b39bf8ab6f9f96f251a8469e060b688878