Re: [PATCH v1 0/2] minor asciidoc/tor formatting fixes

2019-04-05 Thread Martin Ågren
Hi Todd, On Fri, 5 Apr 2019 at 03:40, Todd Zullinger wrote: > > On Sat, 30 Mar 2019 at 19:30, Todd Zullinger wrote: > >> > >> Just chipping away at the remaining differences between asciidoc and > >> asciidoctor. > >> > >> Todd Zullinger (2): > >> Documentation/rev-list-options: wrap --date=

Re: [PATCH v1 0/2] minor asciidoc/tor formatting fixes

2019-04-04 Thread Todd Zullinger
Hi, Martin Ågren wrote: > On Sat, 30 Mar 2019 at 19:30, Todd Zullinger wrote: >> >> Just chipping away at the remaining differences between asciidoc and >> asciidoctor. >> >> Todd Zullinger (2): >> Documentation/rev-list-options: wrap --date= block with "--" >> Documentation/git-status: fix t

Re: [PATCH v1 0/2] minor asciidoc/tor formatting fixes

2019-04-03 Thread Martin Ågren
On Sat, 30 Mar 2019 at 19:30, Todd Zullinger wrote: > > Just chipping away at the remaining differences between asciidoc and > asciidoctor. > > Todd Zullinger (2): > Documentation/rev-list-options: wrap --date= block with "--" > Documentation/git-status: fix titles in porcelain v2 section Nic