22 Jul
2015
22 Jul
'15
1:04 a.m.
On 21 Jul 2015, at 16:23, pablo@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