... | ... | @@ -24,4 +24,4 @@ Nuisances affecting us but not changing the way we do things: |
|
|
|
|
|
# Coq Bugs recently fixed / features recently introduced that we are not (yet) taking advantage of
|
|
|
|
|
|
* [#6923](https://github.com/coq/coq/pull/6923): Proper control over how `Set` is propagated on imports. Available sibce 8.8. |
|
|
\ No newline at end of file |
|
|
* [#6923](https://github.com/coq/coq/pull/6923): Proper control over how `Set` is propagated on imports. Available since 8.8. |
|
|
\ No newline at end of file |