Merge release/dev17.11 to main by dotnet-bot · Pull Request #17380 · dotnet/fsharp · GitHub
Skip to content

Merge release/dev17.11 to main - #17380

Merged
vzarytovskii merged 99 commits into
mainfrom
merges/release/dev17.11-to-main
Jul 8, 2024
Merged

vzarytovskii merged 99 commits into
mainfrom
merges/release/dev17.11-to-main

Commits

  1. Commits on Apr 12, 2024

  2. Commits on Apr 15, 2024

  3. Commits on Apr 16, 2024

  4. Commits on Apr 17, 2024

  5. Commits on Apr 18, 2024

  6. Commits on Apr 19, 2024

  7. Commits on Apr 22, 2024

  8. Commits on Apr 23, 2024

  9. Commits on Apr 24, 2024

  10. Commits on Apr 25, 2024

  11. Commits on Apr 26, 2024

  12. Commits on Apr 29, 2024

  13. Commits on Apr 30, 2024

  14. Commits on May 1, 2024

  15. Commits on May 7, 2024

  16. Commits on May 9, 2024

  17. Commits on May 15, 2024

  18. Commits on May 16, 2024

  19. Commits on May 17, 2024

  20. Commits on May 18, 2024

  21. Commits on May 20, 2024

  22. Commits on May 21, 2024

  23. Commits on May 22, 2024

  24. Commits on May 23, 2024

  25. Commits on May 24, 2024

  26. Commits on May 27, 2024

  27. Commits on May 30, 2024

  28. Commits on Jun 5, 2024

  29. Commits on Jun 6, 2024

  30. Commits on Jun 10, 2024

  31. Commits on Jun 13, 2024

  32. Commits on Jun 14, 2024

  33. Commits on Jun 17, 2024

  34. Commits on Jun 18, 2024

  35. Commits on Jun 21, 2024

  36. Commits on Jun 25, 2024

  37. Commits on Jun 26, 2024

  38. Commits on Jun 27, 2024

  39. Commits on Jun 28, 2024

  40. Commits on Jul 1, 2024

  41. Commits on Jul 3, 2024