On 21 Jul 2015, at 16:23, pablo(a)gnumonks.org wrote:
Hi!,
If no major concerns, I'll push this initial batch
soon into the repository.
it is a bit late for me right now. The granularity of changes, comments, commit
messages all look great. Please give me until tomorrow evening to have a
second look.
holger