[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#41010] Upgrade Oil to 0.8.pre4
From: |
Ryan Prior |
Subject: |
[bug#41010] Upgrade Oil to 0.8.pre4 |
Date: |
Fri, 15 May 2020 17:10:37 +0000 |
Ryan Prior <address@hidden> writes:
> Tobias, thank you for the quick and thorough review! I've attached updated
> patches.
Any thoughts on this updated patch would be welcome if there are still
issues to be address before merging!
Thanks,
Ryan
- [bug#41010] Rename & upgrade oil-shell, Ryan Prior, 2020/05/01
- [bug#41010] Upgrade Oil to 0.8.pre4, Ryan Prior, 2020/05/01
- [bug#41010] Upgrade Oil to 0.8.pre4, Tobias Geerinckx-Rice, 2020/05/01
- [bug#41010] Upgrade Oil to 0.8.pre4, Tobias Geerinckx-Rice, 2020/05/01
- [bug#41010] Upgrade Oil to 0.8.pre4, Ryan Prior, 2020/05/02
- [bug#41010] Upgrade Oil to 0.8.pre4,
Ryan Prior <=
- [bug#41010] Upgrade Oil to 0.8.pre4, Tobias Geerinckx-Rice, 2020/05/15
- [bug#41010] Upgrade Oil to 0.8.pre4, Tobias Geerinckx-Rice, 2020/05/16
- [bug#41010] Upgrade Oil to 0.8.pre4, Ryan Prior, 2020/05/17
- [bug#41010] Upgrade Oil to 0.8.pre4, Leo Famulari, 2020/05/02
[bug#41010] [PATCH 0/1] Updated patch for 0.8.pre5, Ryan Prior, 2020/05/28