Stream: git-cranelift

Topic: cranelift / PR #1321 Renames Settings ⚠️ (fixes #976)


view this post on Zulip GitHub (Jan 08 2020 at 10:02):

bnjbvr opened PR #1321 from 1164-settings to master:

This is a breaking API change: the following settings have been renamed:

<!-- Please ensure all communication adheres to the code of conduct. -->

view this post on Zulip GitHub (Jan 08 2020 at 10:02):

bnjbvr requested sstangl for a review on PR #1321.

view this post on Zulip GitHub (Jan 13 2020 at 21:42):

sstangl submitted PR Review.

view this post on Zulip GitHub (Jan 13 2020 at 21:42):

sstangl merged PR #1321.


Last updated: Nov 22 2024 at 17:03 UTC