do we have a support problem for Proof General?

I am asking because we have issues in the tracker that are quite
old and nobody seems to care... for instance #460 or #463 to
which I gave partial answers today.

Do we have a lack of developers or do the developers not like to
comment on issues in the tracker?

Whatever the reason is, if we cannot improve the situation, I
would suggest to put an appropriate note on the tracker, saying
issue handling may take some time. Letting users find this out
themselves is the worst we can do.


ProofGeneral-devel mailing list

Reply via email to