Detele AvrFHT

[ArthurKoba]

My open problem has not been solved since August, it is obvious that it is easier to remove the library and try to add it again.

[github-actions]

Hi @ArthurKoba.
Your pull request has been detected as something other than a Library Manager submission.
A maintainer will need to review it before it can be merged.

If you intended to submit a library, please check the instructions and update your pull request if necessary:
https://github.com/arduino/library-registry/blob/main/README.md#instructions

[per1234]

Hello @ArthurKoba. I understand your frustration about our delay in accommodating your request (#4977), but we must follow the standard procedure. We do not allow the removal of a library when the plan is to simply add it back again.

A strange problem was encountered when the database maintainer tried to perform the renaming (#4978 (review)). Unfortunately we have very limited resources and a vast number of tasks that need to be completed so we have not been able to perform the investigation into why this happened and how it can be fixed. Please be patient. I apologize for the inconvenience this has caused.

[ArthurKoba]

Hello @per1234. Thanks for your answer. I understand that you have your own instructions and regulations, but my problem was not solved in 3 months. Why, if there are regulations and they are observed, are no actions taken to address them? And if they do, why are there no regulations for returning to unresolved problems? I really have a lot of questions.

I even wrote a month later and asked, but there was no answer, are there ways to speed up the process of solving my problem? If not, and there is no time, wouldn't it be simpler to actually remove the library and add it again? This will at least give some result than meaningless compliance with regulations. Understand that because of this problem, not only I am experiencing difficulties, but also people who use this software at my prompting.