Cleanup and additional fixes regarding procedures#212
Merged
adriaanm merged 1 commit intoscala:masterfrom Jul 9, 2013
soc:topic/procedures
Merged
Cleanup and additional fixes regarding procedures#212adriaanm merged 1 commit intoscala:masterfrom soc:topic/procedures
adriaanm merged 1 commit intoscala:masterfrom
soc:topic/procedures