diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-05 18:27:54 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-05 18:28:44 +0200 |
| commit | 2db5f3d9ec5d32f7e91deca089caa59e9c247ad1 (patch) | |
| tree | 90f65c39bc50bbdf7dbc5f62dd687950c8bf8fc6 /etc | |
| parent | ec255e3a7b4cedc2f3a6bac463732545fff0143f (diff) | |
Let issue-page display an optional flash message.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions