• Dries's avatar
    · 53c67ac0
    Dries authored
    - a few changes which might help overcome Jeroen's redeclartion problem
      (or might not)
    53c67ac0