On Tuesday, 12 June 2018 at 15:16:25 UTC, Uknown wrote:
I solved the problem by piping the output to `sort`
that works but is probably less efficient since sorting the whole thing just to get the one element is more work but eh.
I'll submit a bug report on this ASAP.
I really don't think it is a bug, but perhaps the documentation could call it out.
