tree 63c35ad83af6ad1ddc1059ce5132698d8e771530
parent 76c68246c6b9752fd692f84b928cf867befd57cc
parent 077a1fda82b237c16eb10bd988650468683a94b5
author Junio C Hamano <gitster@pobox.com> 1575579164 -0800
committer Junio C Hamano <gitster@pobox.com> 1575579164 -0800

Merge branch 'jh/userdiff-python-async'

The userdiff machinery has been taught that "async def" is another
way to begin a "function" in Python.

* jh/userdiff-python-async:
  userdiff: support Python async functions