import re


def next_development_version(version: str) -> str:
    """
    Bump the minor* version AND replace any pre-release stuff with +dev1.

    *unless the minor version is 12, then time for next year!
    """
    year_str, other = version.split(".", maxsplit=1)
    year = int(year_str)
    # Basically this regex matches everything after the minor number, hopefully.
    minor = int(re.sub(r"[^\d]+\d+", "", other))
    if minor != 12:
        minor += 1
    else:
        year += 1
        minor = 0
    return f"{year}.{minor}+dev1"