bundy

Hi,

I've merged (accidentally, working from a wrong checkout) branch
"issue13" into master.

The code has not been properly reviewed by me, so I'm not sure if this
is a problem that needs to be undone, or if it is "OK" to just keep it
this way.

Can anyone with git knowledge/experience tell me if it is possible to
"undo" such an accidental merge?

-- Carsten