On Fri, Mar 2, 2018 at 3:04 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: >> >> Can you redo a pull request with 0.5.2-RC1? >> >> Thanks! > > Please use this PR and drop or amend the top commit. > That is not very git way to do it. That is fine. I will amend it. I will do some test then push it out. Thanks Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
