wala / ML

Eclipse Public License 2.0
25 stars 17 forks source link

Several updates #161

Closed khatchad closed 6 months ago

khatchad commented 6 months ago
khatchad commented 6 months ago

Oops. Some of this is covered in #160.

msridhar commented 6 months ago

Oops. Some of this is covered in #160.

@khatchad is this PR cleaned up and ready for review? Does #160 need to land first?

khatchad commented 6 months ago

Oops. Some of this is covered in #160.

@khatchad is this PR cleaned up and ready for review?

Yup. I resolved the conflicts introduced from #167.

Does #160 need to land first?

It shouldn't matter. If you merge #160 first, then a proper subset of this PR should disappear. If, on the other hand, you merge this PR first, then #160 should become empty.