From ca6db090e6ac676eb26eb6e7d3891a4ccc534d79 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 18 Feb 2014 18:51:39 +0000
Subject: [PATCH] -remove empty dir