X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fopenvswitch-pki.postinst;h=ab25795fb941aba4f793e687684ddff95bfc9137;hb=5fa270099ab418ed0063144777ec76716dd3a207;hp=a75a314f4a7e764182a8a18916590d80e5cc9a4e;hpb=064af42167bf4fc9aaea2702d80ce08074b889c0;p=openvswitch

diff --git a/debian/openvswitch-pki.postinst b/debian/openvswitch-pki.postinst
index a75a314f..ab25795f 100755
--- a/debian/openvswitch-pki.postinst
+++ b/debian/openvswitch-pki.postinst
@@ -1,5 +1,5 @@
 #!/bin/sh
-# postinst script for openvswitch
+# postinst script for openvswitch-pki
 #
 # see: dh_installdeb(1)