Skip to content
  • JINMEI Tatuya's avatar
    Revert "maintenance commit" · 901c9eed
    JINMEI Tatuya authored
    This reverts commit a669db43.
    
    The reverted commit was introduced due to misoperation possibly with
    git-new-workdir, and actually reverted previous changes made on master.
    By reverting it we now recover these lost changes.
    901c9eed