[gl/rules] noPT-2011_quit: catch quitted and quitting
Description
Description
Details
Details
- Committed
adrianchavesfernandez Aug 11 2019, 4:20 PM - Parents
- R1046:6b523505f809: [gl/rules] noPT-2011-dual_replace: allow supersede
- Branches
- Unknown
- Tags
adrianchavesfernandez | Aug 11 2019, 4:20 PM |