On 20 July 2018 at 22:43, Albert Astals Cid <[email protected]> wrote: > > Pushed, I removed the changes to the man pages that were not related to this > specific change, we can discuss them in a different thread if you think makes > sense (I kind of agree your definition of progressive was probably better, > but I didn't want to have "unrelated" changes in the commit)
Thanks! Yes, fair enough, probably better to do a pass over the manpage wording as a separate change. Martin _______________________________________________ poppler mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/poppler
