use Notice_prefs instead of adding a new field. The rationale here is simply that the Notice table was _huge_ and I rant into issues with /tmp filling up when altering the tables. So let's just create a new table instead.966971bd
git.gnu.io has moved to IP address 126.96.36.199 -- please double check where you are logging in.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org