For stefan

I don't know how git get rid of those commit while doing the pull request. Can't we just send a pull request for a specific commit ?? Anyway, you can do a:

git pull https://github.com/fjullien/wb_sdram_ctrl.git for-stefan 135ae3e870dfba4d70bd76cd32c3d097e2661df1

right ?

Thanks.