https://bz.apache.org/bugzilla/show_bug.cgi?id=64787
--- Comment #3 from Woonsan Ko <[email protected]> --- Hello Felix, Thank you so much for quick reviews and merging it! I am also very happy especially as it was done on Hangul Day (https://en.wikipedia.org/wiki/Hangul_Day). ;-) Regarding the issue with the 4 menu items under the "Tools", I've just filed another ticket: https://bz.apache.org/bugzilla/show_bug.cgi?id=64800. When I saw it before, I thought it was a known issue. Anyway, I'll try to find the root cause with the ticket and come back to share the findings. Thanks, Woonsan -- You are receiving this mail because: You are the assignee for the bug.
