2 new commits pushed to

<https://github.com/jmpsec/osctrl/tree/develop|develop>

by javuto

<https://github.com/jmpsec/osctrl/commit/b07ea5693ef13e808f0cb69035c0e8b7253df90a|b07ea569>

- Fix query/carve targeting widening on an empty selector; remove unused CheckCarve

<https://github.com/jmpsec/osctrl/commit/ce4b1164f3987b912ee53b5e532b74740a69f29f|ce4b1164>

- Merge pull request #1156 from jmpsec/fix-target-intersect jmpsec/osctrl