Check public issue tracker at \url{https://git.frama-c.com/pub/frama-c/issues/} All issues should have been at least acknowledged: at least they should be assigned to someone, preferably tagged appropriately.
Check public issue tracker at \url{https://git.frama-c.com/pub/frama-c/issues/} All issues should have been at least acknowledged: at least they should be assigned to someone, preferably tagged appropriately.
Send a message to the Frama-C channel on LSL's Mattermost.
Send a message to the Frama-C channel on LSL's Mattermost.
each developer should have a
Each developer should have a
look at their own assigned/monitored/reported issues. Depending on their severity,
look at their own assigned/monitored/reported issues. Depending on their severity,
the issues should be tagged with the current release, or with the next one.
the issues should be tagged with the current release, or with the next one.
