On 2017-04-14 23:32, Paul Wise wrote:
I've done a manual run and committed the RSS feed change.
Thank you! -- John