Qualcuno sa dirmi se questi 2 bug sono stati scoperti a seguito di qualche segnalazione (qualche server bucato ecc...) o se sono stati gli stessi sviluppatori di OpenBSD a scoprirli?