diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-05-12 11:18:18 +0200 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-05-14 13:40:56 +0200 |
| commit | 4a96df96d958a8ce122f103c4b417eaba52e6cb1 (patch) | |
| tree | 359449203e3ef67f3616f2ddcee80fcd09e2c62f /common | |
| parent | e8537e6dd0ae41427bd03d98477d4a6a1f71a2cc (diff) | |
server: Always rebuild the files involved in an error
Fixes #9884
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions