mirror of
https://github.com/gcc-mirror/gcc.git
synced 2026-05-06 23:25:24 +02:00
* jni/gtk-peer/gnu_java_awt_peer_gtk_GtkWindowPeer.c (window_property_changed_cb): Set id_set. Also: re-indent kho's latest ChangeLog entry. From-SVN: r75997