blob: edb5ee3ac491aef32ce839245db76aca9bd72f62 (
plain)
1
2
3
4
5
|
- **Changed:**
The names of ``Sorted_sort`` and ``LocallySorted_sort`` in ``Coq.Sorting.MergeSort``
have been swapped to appropriately reflect their meanings
(`#1185 <https://github.com/coq/coq/pull/1185>`_,
by Lysxia).
|
