This is a good idea. Thanks for implementing it!
I didn't find any install-info changes. So, it was ok.
« Back to merge proposal
This is a good idea. Thanks for implementing it!
I didn't find any install-info changes. So, it was ok.