Hi.
I submitted the patch via send-pr[1]. Nonetheless I am still interested in
comments.
Regards
Tobias
[1]: http://www.freebsd.org/cgi/query-pr.cgi?pr=bin/143090
--
Tobias Rehbein
PGP key: 4F2AE314
server: keys.gnupg.net
fingerprint: ECDA F300 1B6E 9B87 8524 8663 E8B6 3138 4F2A E314