6045

Not really a PR but then you can just `git reset --hard minrk/pr/xxx`.