Subject: Re: bug#9803: [PATCH] Add ERT option to skip test

From: Michael Albinus <[email-masked]>
Date: Thu, 24 Oct 2013 09:46:56 +0200

Hi,

I've committed the final patch to the trunk.

Best regards, Michael.