diff options
author | sterni <sternenseemann@systemli.org> | 2022-05-22T11·33+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-05-22T13·08+0000 |
commit | 5a1a18f58e2dd88efd96d65cf797243b45f8abea (patch) | |
tree | a49e2115ab05af591398c0191dd2747eee0bf657 /nix/writeScript | |
parent | e6e19f3d81a982a62e1bba08f0b4f7fdc21b4ea0 (diff) |
chore(3p/sources): Bump channels & overlays r/4103
* //users/sterni: disable ada-mode, as GNAT bootstrap is broken in channels currently Change-Id: I430f77baba2bcf306121e80aba61684c229c3981 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5641 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'nix/writeScript')
0 files changed, 0 insertions, 0 deletions