Skip to content
Snippets Groups Projects
Commit 3ac2072b authored by Ryan Scott's avatar Ryan Scott
Browse files

Merge branch '2021-06-06' into 'master' 

Add Agda patch

See merge request ghc/head.hackage!161
parents 21a678ac d469879e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 355 additions and 538 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment