Re: [PATCH 1/2] edit-readme-alpha: do not edit again a file already edited
Pavel Raiskup <[email protected]>
| Newsgroups | gmane.comp.gnu.libtool.patches |
|---|---|
| Message-ID | <[email protected]> |
On Tuesday 29 of December 2015 23:55:08 KO Myung-Hun wrote: > Ping ? Thanks, and sorry for the delay. Fixed by 40bc0628d5c8c979 as a part of fix for bug#20196, this double-edit issue is fixed by reverting the order of checks. Please check and comment if there is an issue. Thanks! Pavel