Does Robin Hood (1973) have a scene during the end credits?

Robin Hood (1973)

Overview

Director:	Wolfgang Reitherman
Writers:	Ken Anderson, Larry Clemmons
Cast:	Phil Harris, Andy Devine, Peter Ustinov, Terry-Thomas, Brian Bedford, Monica Evans, Carole Shelley, Pat Buttram, Roger Miller
Released:	Thursday, November 8, 1973
Length:	83 minutes
Studio:	Walt Disney Pictures
Genre:	Family
Rating:	General audiences. All ages admitted.

Robin Hood Synopsis

Join Robin Hood, his trusted companion Little John and his hilarious band of Merry Men as they outfox greedy Prince John to save the good people of Nottingham. Dashing from one daring deed to the next, Robin won’t rest until he wins the hand of Maid Marian and restores King Richard to the throne.