Remove duplicates from completion list, GitHub issue 3178.
commit58c8ea120943232887b2d4be53b77009c504af06
authornicm <nicm>
Mon, 30 May 2022 13:07:46 +0000 (30 13:07 +0000)
committernicm <nicm>
Mon, 30 May 2022 13:07:46 +0000 (30 13:07 +0000)
tree6f422a2efaf8126e7b6f65a169fe675673167aea
parent2f2bb82f5f9c7ba995e8c21a217926efbbb4c5e5
Remove duplicates from completion list, GitHub issue 3178.
status.c