1. 27 Jul, 2021 1 commit
  2. 02 Jul, 2021 1 commit
  3. 04 Jun, 2021 1 commit
  4. 03 Jun, 2021 2 commits
  5. 02 Jun, 2021 1 commit
  6. 02 May, 2021 1 commit
  7. 29 Apr, 2021 1 commit
  8. 22 Mar, 2021 2 commits
    • Robert Goldman's avatar
      Bump version to 3.3.4.13 · 02d5bdb9
      Robert Goldman authored
      02d5bdb9
    • Robert Goldman's avatar
      fix #51; add comments to `ensure-package` · caf89a8a
      Robert Goldman authored
      Prior to this commit, we were trying to be far too smart when updating
      a package's package-local-nicknames: we'd only call
      `remove-package-local-nickname` on the set difference of the old
      nicknames and the new nicknames; that is, we would not remove and then
      reinstall a package-local-nickname which was already present and we
      wanted to keep. The bug which caused #51 was that the set-difference
      considered only the nickname, not the package to which it
      referred. But rather than worrying about accurately computing the
      minimal set of nicknames to remove, this commit just has
      `ensure-package` remove all package-local-nicknames, then reinstall
      the ones it wants. This may be either a performance improvement or
      regression depending on whether computing set differences is more or
      less expensive than manipulating package data structures, but my
      suspicion is that no one cares either way.
      
      Also, during the course of my debugging, I [Phoebe Goldman] added a few line-comments
      to the definition of `ensure-package` so that I could tell what
      various parts of its body were doing. I'd rather not write those
      comments again, so I'm including them in this commit.
      
      Tests incorporated and changelog updated.
      caf89a8a
  9. 20 Mar, 2021 1 commit
  10. 03 Mar, 2021 1 commit
  11. 16 Feb, 2021 1 commit
  12. 06 Feb, 2021 1 commit
  13. 30 Nov, 2020 1 commit
  14. 20 Nov, 2020 1 commit
  15. 26 May, 2020 1 commit
  16. 30 Apr, 2020 1 commit
  17. 29 Apr, 2020 1 commit
  18. 28 Apr, 2020 1 commit
  19. 04 Apr, 2020 1 commit
  20. 14 Feb, 2020 2 commits
  21. 03 Feb, 2020 1 commit
  22. 15 Jan, 2020 1 commit
  23. 05 Jan, 2020 1 commit
  24. 02 Aug, 2019 1 commit
  25. 01 Aug, 2019 1 commit
  26. 25 Jun, 2019 1 commit
  27. 24 Jun, 2019 1 commit
  28. 27 Mar, 2019 1 commit
  29. 26 Mar, 2019 1 commit
  30. 21 Mar, 2019 1 commit
  31. 17 Dec, 2018 1 commit
  32. 15 Dec, 2018 1 commit
  33. 19 Oct, 2018 1 commit
  34. 05 Oct, 2018 1 commit
  35. 22 Aug, 2018 1 commit
  36. 19 Aug, 2018 1 commit
  37. 17 Aug, 2018 1 commit