Thomasstien ble navnet

"Thomasstien skal den hete" foreslo byredaksjonen i Bergens Tidende 21. september i fjor. Og Thomasstien ble navnet.