Skip to content

General tweaking and a few bug fixes

Bugs fixed:

  • $PATH could land up with duplicates in it
  • HIST_STAMPS was in the wrong format

Merge request reports