Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content
  • Matthias Braun's avatar
    remove the strange/unused concept of mem_pinned. · 4719c02b
    Matthias Braun authored
    I don't really understand what it was supposed to do (because nodes
    using/producing should be pretty much immovable anyway because of their
    dependencies, so an additional pinning type appears unnecessary).
    In practice there was no code differentiating between mem_pinned and exc_pinned.
    4719c02b