-
Committer:
Breezy landing bot
-
Author(s):
Jelmer Vernooij
-
Date:
2018-11-16 23:38:56 UTC
-
mfrom:
(7170.3.2 optional-all-file-ids)
-
Revision ID:
breezy.the.bot@gmail.com-20181116233856-sgktuah3dmjwjqna
Make implementing Tree.all_file_ids() optional.
Merged from https://code.launchpad.net/~jelmer/brz/optional-all-file-ids/+merge/358932