Skip to content
  • Karl Palmen's avatar
    Merge remote-tracking branch 'origin/master' re #12828 · 6ccb4979
    Karl Palmen authored
    # Please enter a commit message to explain why this merge is necessary,
    # especially if it merges an updated upstream into a topic branch.
    #
    # Lines starting with '#' will be ignored, and an empty message aborts
    # the commit.
    6ccb4979