diff options
| author | Profpatsch <mail@profpatsch.de> | 2022-06-19T12·46+0200 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2022-06-19T13·29+0000 |
| commit | 2cf67e113e94435c0169141d0d7f5cf6b63f6655 (patch) | |
| tree | 8fbf7ecb234d93f3b455f346f857a8674803edf4 /third_party/gerrit/0006-Always-use-Google-Fonts.patch | |
| parent | 786e515cb8e33c57e478b33db97ae5e83964892f (diff) | |
chore(third_party/overlays/dhall): bump dhall to bugfix PR r/4246
Change-Id: I5f745d3c968bf23275320834f614892a80de426c Reviewed-on: https://cl.tvl.fyi/c/depot/+/5886 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/gerrit/0006-Always-use-Google-Fonts.patch')
0 files changed, 0 insertions, 0 deletions