[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2023-06-07 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 Fabio Valentini changed: What|Removed |Added Status|ASSIGNED|CLOSED Resolution|---

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2023-05-02 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 --- Comment #8 from Fabio Valentini --- Finally got an actionable response from Red Hat Legal after asking ** a third time **: https://lists.fedoraproject.org/archives/list/le...@lists.fedoraproject.org/message/Z3PPWO6KNIPK2BNVNY5QUGJPCFSMO2B

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2022-11-04 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 --- Comment #7 from Fabio Valentini --- Also sent to the "legal" mailing list, since in my experience the FE-Legal tracker bug is ignored: https://lists.fedoraproject.org/archives/list/le...@lists.fedoraproject.org/thread/FBZU2X7ZKTK2BVZKBHFUC

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2022-11-04 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 Fabio Valentini changed: What|Removed |Added Blocks||182235 (FE-Legal) Flags|

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2022-11-03 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 --- Comment #5 from Robert-André Mauchin 🐧 --- Koji scratch build: https://koji.fedoraproject.org/koji/taskinfo?taskID=93757768 -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about change

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2022-11-03 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 Robert-André Mauchin 🐧 changed: What|Removed |Added Flags|needinfo?(zebo...@gmail.com |needinfo?(decathorpe@gmail.

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2022-11-03 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 --- Comment #3 from Robert-André Mauchin 🐧 --- New Spec URL: https://eclipseo.fedorapeople.org/for-review/rust-fiat-crypto.spec New SRPM URL: https://eclipseo.fedorapeople.org/for-review/rust-fiat-crypto-0.1.17-1.fc37.src.rpm -- You are rec

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2022-10-14 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 Fabio Valentini changed: What|Removed |Added Flags||needinfo?(zebo...@gmail.com

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2022-01-21 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 Fabio Valentini changed: What|Removed |Added Doc Type|--- |If docs needed, set a value

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2021-09-17 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 Robert-André Mauchin 🐧 changed: What|Removed |Added Blocks||2002464 Referenced Bugs:

[Bug 2005536] Review Request: rust-fiat-crypto - Fiat-crypto generated RustFiat-crypto generated Rust

2021-09-17 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=2005536 --- Comment #1 from Robert-André Mauchin 🐧 --- Koji scratch build: https://koji.fedoraproject.org/koji/taskinfo?taskID=75870166 -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about change