Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-05 Thread Paul A. Rubin
On 08/05/2017 10:49 AM, mn wrote: On 05.08.17 16:26, Paul A. Rubin wrote: FWIW, I subscribe through GMail, using a filter to put the dev and user lists in separated virtual folders, but access my GMail account in Thunderbird (IMAP). The messages are individual. I don't know if there's a way to

Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-05 Thread Paul A. Rubin
On 08/05/2017 10:49 AM, mn wrote: On 05.08.17 16:26, Paul A. Rubin wrote: FWIW, I subscribe through GMail, using a filter to put the dev and user lists in separated virtual folders, but access my GMail account in Thunderbird (IMAP). The messages are individual. I don't know if there's a way to

Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-05 Thread mn
On 05.08.17 16:26, Paul A. Rubin wrote: > FWIW, I subscribe through GMail, using a filter to put the dev and user > lists in separated virtual folders, but access my GMail account in > Thunderbird (IMAP). The messages are individual. I don't know if there's > a way to maintain threads in

Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-05 Thread Paul A. Rubin
On 08/04/2017 10:02 PM, Scott Kostyshak wrote: On Fri, Aug 04, 2017 at 08:22:40AM +0200, Christian Ridderström wrote: On 2 August 2017 at 10:03, Scott Kostyshak wrote: I'm using gmail's web interface these days. This might be why I'm finding it difficult to efficiently

Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-04 Thread Scott Kostyshak
On Fri, Aug 04, 2017 at 08:22:40AM +0200, Christian Ridderström wrote: > On 2 August 2017 at 10:03, Scott Kostyshak wrote: > > > > > > > > > I'm using gmail's web interface these days. This might be why I'm finding > > > it difficult to efficiently follow threads that are so