bug#18714: closing

i can't figure out why debbugs isn't merging the reports, so just close this one

bug#18714: duping to newer bug

forcemerge 20314 18714 18715 stop