Closed marcows closed 1 year ago
Hi Markus, shouldn't be any issues with this. I'll queue it up behind @jtxa's PR #19 which is almost complete. It's pretty big and touches on the same areas so just wanting to simplify the merge.
Well, I just saw that my change is part of PR #19 in commit d2ff456d2dc7857aef7f034d0edf575e1aa66db3, but yet again cleanup is not complete.
Please merge this PR first. I'll rebase mine again and try to improve it based on @marcows comments.
The permuted index had been removed in commit 4ae29d8543 ("Remove secondary index from reference manual. Remove Warnings.", 2022-10-28) and further cleaned up in commit ad1d6f3e9f ("Remove vestigal ref_index.so (#22)", 2022-11-04).
See also issue #21.