expand use of portal pinning

When Who What
2018-01-10 17:01:08 Peter Eisentraut (petere) Closed in commitfest 2018-01 with status: Committed
2018-01-10 17:01:08 Peter Eisentraut (petere) Changed committer to petere
2018-01-08 20:28:16 Andrew Dunstan (adunstan) New status: Ready for Committer
2018-01-08 15:28:10 Andrew Dunstan (adunstan) Added adunstan as reviewer
2017-12-19 17:15:20 Peter Eisentraut (petere) Changed authors to Peter Eisentraut (petere)
2017-12-19 17:15:12 Peter Eisentraut (petere) Attached mail thread be6ee09b-fd79-f784-f196-ae9b9ac8b80a@2ndquadrant.com
2017-12-19 17:15:12 Peter Eisentraut (petere) Created patch record