Sorry for sending this email multiple times. My mobile email client created html... Should be fixed now!
> > * ls/filter-process-delayed (2017-03-06) 1 commit > - convert: add "status=delayed" to filter process protocol > > What's the status of this one??? > cf. <[email protected]> posted v3 here: https://public-inbox.org/git/[email protected]/ From my point of view the only open question is if we use an index ("delay-id" favored by Peff) or the path (favored by Taylor) to identify delayed items: https://public-inbox.org/git/[email protected]/ https://public-inbox.org/git/20170412173404.GA49694@Ida/#r I slightly favor the path approach as it simplifies the protocol. But I also trust Peff's opinion. > * ls/travis-doc-asciidoctor (2017-04-16) 3 commits > (merged to 'next' on 2017-04-19 at 359c32953b) > + travis-ci: unset compiler for jobs that do not need one > + travis-ci: parallelize documentation build > + travis-ci: build documentation with AsciiDoc and Asciidoctor > > Have Travis CI format the documentation with both AsciiDoc and > AsciiDoctor. > > Will merge to 'master'. Can you hold this until next week? The I would post a v2 and check asciidoc stderr: https://public-inbox.org/git/[email protected]/ I can also post an additional patch if you prefer to merge now. Thanks, Lars
