Skip to main content

Browse the archive

Revision 2f6587f20b20459d1385aa9bb65559fa283a698d authored by Pierre-Yves Strub on 15 October 2019, 07:09:54 UTC, committed by Pierre-Yves Strub on 15 October 2019, 07:09:54 UTC 
In `case`, normalized 'glob' when searching for an inductive type.
 
[fix #17391]
1 parent 74207ab
History
File Mode Size
tests.config -rw-r--r-- 343 bytes
back to top