]>
2017-07-11 | mmn | Merge branch 'case-sensitive-openid' into 'master' | blob | commitdiff | raw |
2017-07-11 | mmn | Merge branch 'safe-gitignore' into 'master' | blob | commitdiff | raw |
2017-05-06 | Mikael Nordfeldth | Notice_prefs now available (I just copied Profile_prefs) | blob | commitdiff | raw |