Bernd Schmidt Thu, 10 Dec 2015 09:00:51 -0800
On 12/10/2015 05:52 PM, Martin Sebor wrote:
The updated patch is attached.
Ok. Bernd