Giulio Fidente 09137304b9 Rename service_workflow_tasks into workflow_tasks ... Using the service_ prefix seems incoherent with its use in service_config_settings (vs config_settings). Change-Id: Ia39f181415bee0071409dabddfa0c5c312915e1f		2017-09-13 17:15:17 +02:00
..
notes	Rename service_workflow_tasks into workflow_tasks	2017-09-13 17:15:17 +02:00
source	Use Python to compute release notes version	2017-08-29 10:55:00 -07:00