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