> Also, I can advertise your branch, or you can submit a pull request and > I can make it a branch off of the main repo, in either case a wiki page > describing this change would be great!
Whichever you prefer. I'm not too familiar with GitHub's proceedings. Will I be able to work on this branch created from the pull request? _______________________________________________ Stumpwm-devel mailing list Stumpwm-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/stumpwm-devel
