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