[SERVER-76789] Add immer to README.third_party.md Created: 03/May/23 Updated: 18/Jan/24 Resolved: 04/May/23 |
|
| Status: | Closed |
| Project: | Core Server |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | 7.1.0-rc0, 7.0.3, 5.0.25, 6.0.14 |
| Type: | Task | Priority: | Major - P3 |
| Reporter: | Henrik Edin | Assignee: | Henrik Edin |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Issue Links: |
|
||||||||||||
| Backwards Compatibility: | Fully Compatible | ||||||||||||
| Backport Requested: |
v7.0, v6.0, v5.0
|
||||||||||||
| Sprint: | Execution Team 2023-05-15 | ||||||||||||
| Participants: | |||||||||||||
| Comments |
| Comment by Githook User [ 18/Jan/24 ] |
|
Author: {'name': 'Henrik Edin', 'email': 'henrik.edin@mongodb.com', 'username': 'henrikedin'}Message: (cherry picked from commit 2551dcba41eb480d32110181956fc25fa3d102f2) GitOrigin-RevId: c6598a1b68852c73fa6e754d958b788e1fc77cda |
| Comment by Githook User [ 17/Jan/24 ] |
|
Author: {'name': 'Henrik Edin', 'email': 'henrik.edin@mongodb.com', 'username': 'henrikedin'}Message: (cherry picked from commit 2551dcba41eb480d32110181956fc25fa3d102f2) GitOrigin-RevId: c65e100531bcd60a85a9e57b537be696358f5722 |
| Comment by Githook User [ 10/Oct/23 ] |
|
Author: {'name': 'Henrik Edin', 'email': 'henrik.edin@mongodb.com', 'username': 'henrikedin'}Message: (cherry picked from commit 2551dcba41eb480d32110181956fc25fa3d102f2) |
| Comment by Githook User [ 03/May/23 ] |
|
Author: {'name': 'Henrik Edin', 'email': 'henrik.edin@mongodb.com', 'username': 'henrikedin'}Message: |