Closed linyaa-kiwi closed 9 years ago
This merge will never happen, so closing this ticket. For now, I'm following the git workflow detailed in man:gitworkflows(7), in which branches are merged upwards (maint -> master -> next) but never downards (master <- next).
Tentatively let's plan to do the merge on Tue 16 Sep if 'next' is stable enough.