Re: [Hackage] #518: reconfigure command that uses the previous configure command