<caofjf6d8bnd4usx7yhwsoqukgf8sapwwvzzdso7zrnhnjma...@mail.gmail.com> <507c4db9.5060...@gmail.com> <caofjf6cuu8eyfy1vfva8y+d+d84o+ruprsugfrg9-hb_chs...@mail.gmail.com> <507c59c4.6090...@gmail.com> <CAOFjF6eUz6Qmf1245Gzv+HgHfF0uqrpmFqm9aodQtAUX=qs...@mail.gmail.com>) Mime-Version: 1.0 Content-type: text/plain; charset="UTF-8"
>I just send a new pull request 7c456a9 as a single patch. It seems there >is no way to delete my old pull requests (github doesn't support this >feature?) so I created a new 'dev' temporary branch just for this pull >request. Please discard the old ones. :) Github supposes that you will simply force-push updated version to the old branch name for ceonveniency of smuggling changes into pull request. _______________________________________________ Stumpwm-devel mailing list Stumpwm-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/stumpwm-devel
