K 10 svn:author V 4 bsam K 8 svn:date V 27 2013-12-30T11:41:18.289262Z K 7 svn:log V 150 Fix PLIST_SUB (add a space after @comment) for non-default option. Reported and tested by: Andrea Venturoli Approved by: x11 (kwm) END