[gl/rules] noPT-2011-dual_abort: allow pause → interromper
Description
Description
Details
Details
- Committed
adrianchavesfernandez Aug 10 2019, 10:36 AM - Parents
- R1046:d6ccc4d488d6: [gl/rules] Improve noPT-2011-dual_enable
- Branches
- Unknown
- Tags
adrianchavesfernandez | Aug 10 2019, 10:36 AM |