Re: #1196: update dist-rawhide to point to dist-f12