Given the three sort bugs present in 8.6 and 8.7
that are now fixed for the upcoming release,
I am motivated to make that release very soon.

Does anyone have changes or additional
bug reports that we should know about?

Reply via email to