Merge policy: document merging stable → devel
I'm not sure if this simply was never documented, or if I removed this part of the doc by mistake while adapting to GitLab.
@committers-team, please take a look at this commit :)
Online version: https://tails.boum.org/contribute/merge_policy/#merge
Duh, of course! Considering how good (read: bad) I am at remember extra steps like these, expect some more violations in the near future. :/
I suppose I should have thought about checking recent changes before review'n'merge-ing the few things @intrigeri mentioned to me (before 4.9), and I definitely didn't merge stable→devel while doing so. This will be fixed during the 4.9 release anyway. I'll try and remember next time(s) though.