Skip to content
This repository has been archived by the owner on Jul 26, 2024. It is now read-only.

Avoid creating unnecessary policy definitions #33

Merged
merged 2 commits into from
Apr 17, 2020
Merged

Avoid creating unnecessary policy definitions #33

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
2963761
Avoid creating unecessary policy definitions.
nunocenteno Apr 8, 2020
be23e86
Merge remote-tracking branch 'upstream/master'
nunocenteno Apr 14, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge remote-tracking branch 'upstream/master'
  • Loading branch information
@nunocenteno
nunocenteno committed Apr 14, 2020
commit be23e86836fcd7e160b7d2d438270bff8aa0616b

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.