diff options
| author | sterni <sternenseemann@systemli.org> | 2022-07-02T09·22+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-07-05T15·05+0000 |
| commit | 01bfe729a279b8d8b398eeda922ba176743fe1fe (patch) | |
| tree | 86209d35bc0c7478bba54d941684044033be06ee /tvix/OWNERS | |
| parent | 49aee7a8f283069a3b47a2617a448389fe8c4373 (diff) | |
chore(3p/sources): Bump channels & overlays r/4276
* //users/grfn/home/yeren: remove discord override which broke eval due to a changed overriding scheme adopted in nixpkgs. nixpkgs has discord 0.0.18 now, so updating from 0.0.16 is probably fine. Change-Id: I540ff3621dcb548d33a929588fbe7fddc3078050 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5912 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/OWNERS')
0 files changed, 0 insertions, 0 deletions