thisisnic commented on pull request #12531: URL: https://github.com/apache/arrow/pull/12531#issuecomment-1055634145
I'm afraid I'm not sure I'm in favour of merging this as it doesn't solve the original problem (activating Bootstrap 5 in order to use the search functionality) and whilst it may provide a partial solution to that, the substantial bit of the work (updating the custom JS) still remains, and there change to the look of the menu is for the worse, in my opinion, sorry. I will nudge other committers to comment on this though, as they may feel differently. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
