> sorry for that. Git is still not my friend. I managed to stash and > unstash multiple changes and mix them up.
Git was clearly designed *not* to have friends if you ask me, so I cannot really blame you here. > I comitted the following fix. Thanks! -- Eric Botcazou
