All public logs

Combined display of all available logs of Fedora Project Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 09:12, 13 January 2025 Petersen talk contribs moved page Changes/Idris 2 to Changes/Idris2 (Misspelled title: idris2 is the upstream name)
• 09:09, 13 January 2025 Petersen talk contribs created page Changes/Idris 2 (Created page with "= Idris 2 --> = {{Change_Proposal_Banner}} == Summary == Idris 2 is a dependently typed practical functional programming language. == Owner == * Name: Jens Petersen * Email: <petersen@redhat.com> == Current status == Category:ChangeReadyForWrangler <!-- When your change proposal page is completed and ready for review and announcement --> <!-- remove Category:ChangePageIncomplete and change it to Category:ChangeReadyForWrangler --> <!-- The Wra...")