Please reopen non-stale issues

[Vampire]

#426, #427, #428, #429, #430 are still relevant, please reopen them.
Writing this as new issue as the comments on the closed issues are ignored and as a normal user you are not able to reopen closed issues unless you closed them yourself

[flozano]

Same with #780 please

[stale]

Is this still relevant? If so, what is blocking it? Is there anything you can do to help move it forward? This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

[stale]

Is this still relevant? If so, what is blocking it? Is there anything you can do to help move it forward? This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

[flozano]

yes it's still relevant El lun, 19 jun 2023, 7:54, stale[bot] ***@***.***> escribió:

…

Is this still relevant? If so, what is blocking it? Is there anything you can do to help move it forward? This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. — Reply to this email directly, view it on GitHub <#865 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAI3A665NSZGTQSJWCMEQ7TXL7SSVANCNFSM6AAAAAASGFG524> . You are receiving this because you commented.Message ID: ***@***.***>

[diban]

This one also: #674

[krodyrobi]

Also this one #591

[stale]

Is this still relevant? If so, what is blocking it? Is there anything you can do to help move it forward? This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

[krodyrobi]

yes

[jhouserizer]

with review, those issues (426-430) have been handled already elsewhere

[diban]

What about the rest of the issues mentioned in this ticket? #591, #674 and #780.