| commit | ba3dc37119b9687f9f9da66508d6321be88ebf6a | [log] [tgz] |
|---|---|---|
| author | Henner Zeller <h.zeller@acm.org> | Tue Jul 22 21:45:21 2025 +0200 |
| committer | GitHub <noreply@github.com> | Tue Jul 22 21:45:21 2025 +0200 |
| tree | f7de38ebf4e32ac8b001e844a730fa7e92faf641 | |
| parent | 03c61290a9566fb84f92291d73356a3b435d6338 [diff] | |
| parent | f34d9c404dd2dbf2d13153a9950128f4e338215b [diff] |
Merge pull request #2440 from hzeller/feature-20250722-push-note-on Enable push diagnostic nofications by default.