Hi all, On 2017-08-18 23:26, Hendrik Tews wrote:
Stéphane,I believe I addressed all your comments now. I pushed version 1.0.2-2 to the DOM repository.
I've just uploaded cmdliner 1.0.2-1 (after merging last two changelog entries). 1.0.2-1 did never hit the archive. So it made little sense to me to make a
1.0.2-2. Thanks for your work! -- Mehdi
