Skip to content
Commit 811e1b01 authored by roconnor's avatar roconnor
Browse files

Merge pull request #11140 from roconnor/master 

coq: 8.5b2 -> 8.5b3
parents 910e7a75 c111b0cd
Hide whitespace changes
Inline Side-by-side
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