git question

[Simon Peyton Jones]

Friends
I have a batch of several commits lined up on my local machine, validated, and ready to push to the master.
But one seems to have accidentally got

diff --git a/utils/haddock b/utils/haddock

index 073d899..a3309e7 160000

--- a/utils/haddock

+++ b/utils/haddock

@@ -1 +1 @@

-Subproject commit 073d899a8f94ddec698f617a38d3420160a7fd0b

+Subproject commit a3309e797c42dae9bccdeb17ce52fcababbaff8a
I did not want to meddle with Haddock.
Question: how can I remove this change from my commit?  I know how to do git rebase –interactive, and I can aske to “edit” that commit… but what then?
Thanks
Simon

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160930/9b910ca4/attachment.html>