Subject: 17493 is obsolete

From: Paul Eggert <[email-masked]>
Date: Thu, 22 May 2014 00:19:48 -0700

close 17493
thanks

A new pretest is out, so Bug#17548 is now the relevant one.