[HOT] TM3 random task selection ignoring priority area

[Florian Kratochwil]

As I have no idea how to report feedback on GitHub (where the feedback 
link leeds me to). So I am posting it here in hope someone hears it.

When mapping on task #3837 if I click "select random task" for mapping, 
I get tasks outside the priority area, but there are free unlocked, 
unmapped task in the priority area as well. I guess this is a bug?

Best
Florian