> On Oct 2, 2017, at 9:06 AM, Daniel Macks wrote:
>
> On Sat, 30 Sep 2017 21:39:29 -0400, Daniel Johnson wrote:
>>>
On Sep 30, 2017, at 7:30 PM, Alexander Hansen wrote:
1) We no longer have the ability to remove locks from CVS.
2) They’ve reduced our ability to adminis
On Sat, 30 Sep 2017 21:39:29 -0400, Daniel Johnson wrote:
>>
>> > On Sep 30, 2017, at 7:30 PM, Alexander Hansen wrote:
>> >
>> > 1) We no longer have the ability to remove locks from CVS.
>> > 2) They’ve reduced our ability to administer our mailing lists—the list
>> > owner can’t even remov
Hi,
> Am 01.10.2017 um 07:30 schrieb Alexander Hansen :
>
> 1) We no longer have the ability to remove locks from CVS.
> 2) They’ve reduced our ability to administer our mailing lists—the list
> owner can’t even remove users any more.
>
> I’d be OK with having users report bugs via issues on
> On Sep 30, 2017, at 7:30 PM, Alexander Hansen
> wrote:
>
> 1) We no longer have the ability to remove locks from CVS.
> 2) They’ve reduced our ability to administer our mailing lists—the list
> owner can’t even remove users any more.
>
> I’d be OK with having users report bugs via issues
1) We no longer have the ability to remove locks from CVS.
2) They’ve reduced our ability to administer our mailing lists—the list owner
can’t even remove users any more.
I’d be OK with having users report bugs via issues on GitHub rather than via
the mailing list, especially since we’ll be ab
