Originally Posted by
König
Whether a permanent resident can use the line for US citizens depends on an airport. Most airports indeed allocate the same lines for US citizens and permanent residents, but in any case, there will always be a sign directing people which line to use.
Ah - good point. We usually go through the same airports every time (so far), so our experience would definitely be limited.