Commit 0ed2c64
authored
- don't call entailment check when returning floating license
1 parent 4e0e7af commit 0ed2c64
3 files changed
+7
-7
lines changedSome generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
713 | 713 | | |
714 | 714 | | |
715 | 715 | | |
716 | | - | |
717 | 716 | | |
718 | | - | |
| 717 | + | |
719 | 718 | | |
720 | | - | |
721 | | - | |
| 719 | + | |
| 720 | + | |
| 721 | + | |
722 | 722 | | |
723 | 723 | | |
724 | 724 | | |
| |||
0 commit comments