- if (headeris "From" ,'<mailman-owner@vellum.cz>'
- || headeris "From" ,'<captive-list-admin@jankratochvil.net>'
- || headeris "From" ,'<captive-devel-list-admin@jankratochvil.net>'
- || headeris "From" ,'<captive-announce-list-admin@jankratochvil.net>') {
+ if (headeris("From" ,'<mailman-owner@vellum.cz>')
+ || headeris("From" ,'<captive-list-admin@jankratochvil.net>')
+ || headeris("From" ,'<captive-devel-list-admin@jankratochvil.net>')
+ || headeris("From" ,'<captive-announce-list-admin@jankratochvil.net>')) {