2018-05-07 17:08 GMT+02:00 Erik Bray:
>
> On Mon, May 7, 2018 at 4:55 PM, Jeroen Demeyer:
> > (starting a new thread for the discussion about the current very slow
pace
> > of merging tickets)
> >
> > On 2018-05-07 16:28, Erik Bray wrote:
> >>
> >> If it's not clear, shall I write up some more form
On Mon, May 7, 2018 at 4:55 PM, Jeroen Demeyer wrote:
> (starting a new thread for the discussion about the current very slow pace
> of merging tickets)
>
> On 2018-05-07 16:28, Erik Bray wrote:
>>
>> If it's not clear, shall I write up some more formal documentation for
>> my proposed process?
>
(starting a new thread for the discussion about the current very slow
pace of merging tickets)
On 2018-05-07 16:28, Erik Bray wrote:
If it's not clear, shall I write up some more formal documentation for
my proposed process?
To be honest, I think it's not very meaningful to do that without
c