There is a rather good pull request waiting for me at
https://github.com/GNOME/dasher/pull/2
I was under the impression though that github is one way - if I apply
it on github, will it make its way back to git.gnome.org?
The other issue is just how deeply we frown on merges? (Given the patch
set, I would just apply it...)
Thoughts?
Cheers,
Patrick
_______________________________________________
desktop-devel-list mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/desktop-devel-list
