#crux-arm on 2024-10-19 — irc logs at libera.irclog.whitequark.org

07:23 crux-arm-bot has joined #crux-arm

07:23 <crux-arm-bot> [ Fetch URL: https://github.com/TimB87/crux-ports-opt-arm64 ]: rust: 1.81.0 -> 1.82.0

07:23 crux-arm-bot has left #crux-arm [#crux-arm]

07:24 crux-arm-bot has joined #crux-arm

07:24 <crux-arm-bot> [ Fetch URL: https://github.com/TimB87/crux-ports-opt-arm64 ]: rust: 1.81.0 -> 1.82.0

07:24 crux-arm-bot has left #crux-arm [#crux-arm]

07:26 crux-arm-bot has joined #crux-arm

07:26 <crux-arm-bot> [ Fetch URL: https://github.com/TimB87/crux-ports-opt-arm64 ]: rust: 1.81.0 -> 1.82.0

07:26 crux-arm-bot has left #crux-arm [#crux-arm]

07:32 crux-arm-bot has joined #crux-arm

07:32 <crux-arm-bot> [ Fetch URL: https://github.com/TimB87/crux-ports-opt-arm64 ]: Merge branch 'crux-arm:3.7' into 3.7

07:32 crux-arm-bot has left #crux-arm [#crux-arm]

07:44 crux-arm-bot has joined #crux-arm

07:44 <crux-arm-bot> [ crux-ports-opt-arm64 ]: rust: update .signature

07:44 crux-arm-bot has left #crux-arm [#crux-arm]

08:52 crux-arm-bot has joined #crux-arm

08:52 <crux-arm-bot> [ Fetch URL: https://github.com/TimB87/crux-ports-opt-arm64 ]: Merge branch 'crux-arm:3.7' into 3.7

08:52 crux-arm-bot has left #crux-arm [#crux-arm]