Export priority of PriorityTag
the PriorityTag has a certain value, but it is not accessible. We now export this tag::value
There are a couple of applications where it comes in handy to export these values, and it should not hurt anybody.
the PriorityTag has a certain value, but it is not accessible. We now export this tag::value
There are a couple of applications where it comes in handy to export these values, and it should not hurt anybody.